1 | n/a | from tkinter import * |
---|
2 | n/a | |
---|
3 | n/a | class SearchDialogBase: |
---|
4 | n/a | |
---|
5 | n/a | title = "Search Dialog" |
---|
6 | n/a | icon = "Search" |
---|
7 | n/a | needwrapbutton = 1 |
---|
8 | n/a | |
---|
9 | n/a | def __init__(self, root, engine): |
---|
10 | n/a | self.root = root |
---|
11 | n/a | self.engine = engine |
---|
12 | n/a | self.top = None |
---|
13 | n/a | |
---|
14 | n/a | def open(self, text, searchphrase=None): |
---|
15 | n/a | self.text = text |
---|
16 | n/a | if not self.top: |
---|
17 | n/a | self.create_widgets() |
---|
18 | n/a | else: |
---|
19 | n/a | self.top.deiconify() |
---|
20 | n/a | self.top.tkraise() |
---|
21 | n/a | if searchphrase: |
---|
22 | n/a | self.ent.delete(0,"end") |
---|
23 | n/a | self.ent.insert("end",searchphrase) |
---|
24 | n/a | self.ent.focus_set() |
---|
25 | n/a | self.ent.selection_range(0, "end") |
---|
26 | n/a | self.ent.icursor(0) |
---|
27 | n/a | self.top.grab_set() |
---|
28 | n/a | |
---|
29 | n/a | def close(self, event=None): |
---|
30 | n/a | if self.top: |
---|
31 | n/a | self.top.grab_release() |
---|
32 | n/a | self.top.withdraw() |
---|
33 | n/a | |
---|
34 | n/a | def create_widgets(self): |
---|
35 | n/a | top = Toplevel(self.root) |
---|
36 | n/a | top.bind("<Return>", self.default_command) |
---|
37 | n/a | top.bind("<Escape>", self.close) |
---|
38 | n/a | top.protocol("WM_DELETE_WINDOW", self.close) |
---|
39 | n/a | top.wm_title(self.title) |
---|
40 | n/a | top.wm_iconname(self.icon) |
---|
41 | n/a | self.top = top |
---|
42 | n/a | |
---|
43 | n/a | self.row = 0 |
---|
44 | n/a | self.top.grid_columnconfigure(0, pad=2, weight=0) |
---|
45 | n/a | self.top.grid_columnconfigure(1, pad=2, minsize=100, weight=100) |
---|
46 | n/a | |
---|
47 | n/a | self.create_entries() |
---|
48 | n/a | self.create_option_buttons() |
---|
49 | n/a | self.create_other_buttons() |
---|
50 | n/a | return self.create_command_buttons() |
---|
51 | n/a | |
---|
52 | n/a | def make_entry(self, label, var): |
---|
53 | n/a | l = Label(self.top, text=label) |
---|
54 | n/a | l.grid(row=self.row, column=0, sticky="nw") |
---|
55 | n/a | e = Entry(self.top, textvariable=var, exportselection=0) |
---|
56 | n/a | e.grid(row=self.row, column=1, sticky="nwe") |
---|
57 | n/a | self.row = self.row + 1 |
---|
58 | n/a | return e |
---|
59 | n/a | |
---|
60 | n/a | def make_frame(self,labeltext=None): |
---|
61 | n/a | if labeltext: |
---|
62 | n/a | l = Label(self.top, text=labeltext) |
---|
63 | n/a | l.grid(row=self.row, column=0, sticky="nw") |
---|
64 | n/a | f = Frame(self.top) |
---|
65 | n/a | f.grid(row=self.row, column=1, columnspan=1, sticky="nwe") |
---|
66 | n/a | self.row = self.row + 1 |
---|
67 | n/a | return f |
---|
68 | n/a | |
---|
69 | n/a | def make_button(self, label, command, isdef=0): |
---|
70 | n/a | b = Button(self.buttonframe, |
---|
71 | n/a | text=label, command=command, |
---|
72 | n/a | default=isdef and "active" or "normal") |
---|
73 | n/a | cols,rows=self.buttonframe.grid_size() |
---|
74 | n/a | b.grid(pady=1,row=rows,column=0,sticky="ew") |
---|
75 | n/a | self.buttonframe.grid(rowspan=rows+1) |
---|
76 | n/a | return b |
---|
77 | n/a | |
---|
78 | n/a | def create_entries(self): |
---|
79 | n/a | self.ent = self.make_entry("Find:", self.engine.patvar) |
---|
80 | n/a | |
---|
81 | n/a | def create_option_buttons(self): |
---|
82 | n/a | f = self.make_frame("Options") |
---|
83 | n/a | |
---|
84 | n/a | btn = Checkbutton(f, anchor="w", |
---|
85 | n/a | variable=self.engine.revar, |
---|
86 | n/a | text="Regular expression") |
---|
87 | n/a | btn.pack(side="left", fill="both") |
---|
88 | n/a | if self.engine.isre(): |
---|
89 | n/a | btn.select() |
---|
90 | n/a | |
---|
91 | n/a | btn = Checkbutton(f, anchor="w", |
---|
92 | n/a | variable=self.engine.casevar, |
---|
93 | n/a | text="Match case") |
---|
94 | n/a | btn.pack(side="left", fill="both") |
---|
95 | n/a | if self.engine.iscase(): |
---|
96 | n/a | btn.select() |
---|
97 | n/a | |
---|
98 | n/a | btn = Checkbutton(f, anchor="w", |
---|
99 | n/a | variable=self.engine.wordvar, |
---|
100 | n/a | text="Whole word") |
---|
101 | n/a | btn.pack(side="left", fill="both") |
---|
102 | n/a | if self.engine.isword(): |
---|
103 | n/a | btn.select() |
---|
104 | n/a | |
---|
105 | n/a | if self.needwrapbutton: |
---|
106 | n/a | btn = Checkbutton(f, anchor="w", |
---|
107 | n/a | variable=self.engine.wrapvar, |
---|
108 | n/a | text="Wrap around") |
---|
109 | n/a | btn.pack(side="left", fill="both") |
---|
110 | n/a | if self.engine.iswrap(): |
---|
111 | n/a | btn.select() |
---|
112 | n/a | |
---|
113 | n/a | def create_other_buttons(self): |
---|
114 | n/a | f = self.make_frame("Direction") |
---|
115 | n/a | |
---|
116 | n/a | #lbl = Label(f, text="Direction: ") |
---|
117 | n/a | #lbl.pack(side="left") |
---|
118 | n/a | |
---|
119 | n/a | btn = Radiobutton(f, anchor="w", |
---|
120 | n/a | variable=self.engine.backvar, value=1, |
---|
121 | n/a | text="Up") |
---|
122 | n/a | btn.pack(side="left", fill="both") |
---|
123 | n/a | if self.engine.isback(): |
---|
124 | n/a | btn.select() |
---|
125 | n/a | |
---|
126 | n/a | btn = Radiobutton(f, anchor="w", |
---|
127 | n/a | variable=self.engine.backvar, value=0, |
---|
128 | n/a | text="Down") |
---|
129 | n/a | btn.pack(side="left", fill="both") |
---|
130 | n/a | if not self.engine.isback(): |
---|
131 | n/a | btn.select() |
---|
132 | n/a | |
---|
133 | n/a | def create_command_buttons(self): |
---|
134 | n/a | # |
---|
135 | n/a | # place button frame on the right |
---|
136 | n/a | f = self.buttonframe = Frame(self.top) |
---|
137 | n/a | f.grid(row=0,column=2,padx=2,pady=2,ipadx=2,ipady=2) |
---|
138 | n/a | |
---|
139 | n/a | b = self.make_button("close", self.close) |
---|
140 | n/a | b.lower() |
---|