Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 1 | """ |
| 2 | An auto-completion window for IDLE, used by the AutoComplete extension |
| 3 | """ |
| 4 | from Tkinter import * |
| 5 | from MultiCall import MC_SHIFT |
| 6 | import AutoComplete |
| 7 | |
| 8 | HIDE_VIRTUAL_EVENT_NAME = "<<autocompletewindow-hide>>" |
| 9 | HIDE_SEQUENCES = ("<FocusOut>", "<ButtonPress>") |
| 10 | KEYPRESS_VIRTUAL_EVENT_NAME = "<<autocompletewindow-keypress>>" |
| 11 | # We need to bind event beyond <Key> so that the function will be called |
| 12 | # before the default specific IDLE function |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 13 | KEYPRESS_SEQUENCES = ("<Key>", "<Key-BackSpace>", "<Key-Return>", "<Key-Tab>", |
| 14 | "<Key-Up>", "<Key-Down>", "<Key-Home>", "<Key-End>", |
| 15 | "<Key-Prior>", "<Key-Next>") |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 16 | KEYRELEASE_VIRTUAL_EVENT_NAME = "<<autocompletewindow-keyrelease>>" |
| 17 | KEYRELEASE_SEQUENCE = "<KeyRelease>" |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 18 | LISTUPDATE_SEQUENCE = "<B1-ButtonRelease>" |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 19 | WINCONFIG_SEQUENCE = "<Configure>" |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 20 | DOUBLECLICK_SEQUENCE = "<B1-Double-ButtonRelease>" |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 21 | |
| 22 | class AutoCompleteWindow: |
| 23 | |
| 24 | def __init__(self, widget): |
| 25 | # The widget (Text) on which we place the AutoCompleteWindow |
| 26 | self.widget = widget |
| 27 | # The widgets we create |
| 28 | self.autocompletewindow = self.listbox = self.scrollbar = None |
| 29 | # The default foreground and background of a selection. Saved because |
| 30 | # they are changed to the regular colors of list items when the |
| 31 | # completion start is not a prefix of the selected completion |
| 32 | self.origselforeground = self.origselbackground = None |
| 33 | # The list of completions |
| 34 | self.completions = None |
| 35 | # A list with more completions, or None |
| 36 | self.morecompletions = None |
| 37 | # The completion mode. Either AutoComplete.COMPLETE_ATTRIBUTES or |
| 38 | # AutoComplete.COMPLETE_FILES |
| 39 | self.mode = None |
| 40 | # The current completion start, on the text box (a string) |
| 41 | self.start = None |
| 42 | # The index of the start of the completion |
| 43 | self.startindex = None |
| 44 | # The last typed start, used so that when the selection changes, |
| 45 | # the new start will be as close as possible to the last typed one. |
| 46 | self.lasttypedstart = None |
| 47 | # Do we have an indication that the user wants the completion window |
| 48 | # (for example, he clicked the list) |
| 49 | self.userwantswindow = None |
| 50 | # event ids |
| 51 | self.hideid = self.keypressid = self.listupdateid = self.winconfigid \ |
| 52 | = self.keyreleaseid = self.doubleclickid = None |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 53 | # Flag set if last keypress was a tab |
| 54 | self.lastkey_was_tab = False |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 55 | |
| 56 | def _change_start(self, newstart): |
| 57 | i = 0 |
| 58 | while i < len(self.start) and i < len(newstart) and \ |
| 59 | self.start[i] == newstart[i]: |
| 60 | i += 1 |
| 61 | if i < len(self.start): |
| 62 | self.widget.delete("%s+%dc" % (self.startindex, i), |
| 63 | "%s+%dc" % (self.startindex, len(self.start))) |
| 64 | if i < len(newstart): |
| 65 | self.widget.insert("%s+%dc" % (self.startindex, i), |
| 66 | newstart[i:]) |
| 67 | self.start = newstart |
| 68 | |
| 69 | def _binary_search(self, s): |
| 70 | """Find the first index in self.completions where completions[i] is |
| 71 | greater or equal to s, or the last index if there is no such |
| 72 | one.""" |
| 73 | i = 0; j = len(self.completions) |
| 74 | while j > i: |
| 75 | m = (i + j) // 2 |
| 76 | if self.completions[m] >= s: |
| 77 | j = m |
| 78 | else: |
| 79 | i = m + 1 |
| 80 | return min(i, len(self.completions)-1) |
| 81 | |
| 82 | def _complete_string(self, s): |
| 83 | """Assuming that s is the prefix of a string in self.completions, |
| 84 | return the longest string which is a prefix of all the strings which |
| 85 | s is a prefix of them. If s is not a prefix of a string, return s.""" |
| 86 | first = self._binary_search(s) |
| 87 | if self.completions[first][:len(s)] != s: |
| 88 | # There is not even one completion which s is a prefix of. |
| 89 | return s |
| 90 | # Find the end of the range of completions where s is a prefix of. |
| 91 | i = first + 1 |
| 92 | j = len(self.completions) |
| 93 | while j > i: |
| 94 | m = (i + j) // 2 |
| 95 | if self.completions[m][:len(s)] != s: |
| 96 | j = m |
| 97 | else: |
| 98 | i = m + 1 |
| 99 | last = i-1 |
| 100 | |
| 101 | # We should return the maximum prefix of first and last |
| 102 | i = len(s) |
| 103 | while len(self.completions[first]) > i and \ |
| 104 | len(self.completions[last]) > i and \ |
| 105 | self.completions[first][i] == self.completions[last][i]: |
| 106 | i += 1 |
| 107 | return self.completions[first][:i] |
| 108 | |
| 109 | def _selection_changed(self): |
| 110 | """Should be called when the selection of the Listbox has changed. |
| 111 | Updates the Listbox display and calls _change_start.""" |
| 112 | cursel = int(self.listbox.curselection()[0]) |
| 113 | |
| 114 | self.listbox.see(cursel) |
| 115 | |
| 116 | lts = self.lasttypedstart |
| 117 | selstart = self.completions[cursel] |
| 118 | if self._binary_search(lts) == cursel: |
| 119 | newstart = lts |
| 120 | else: |
| 121 | i = 0 |
| 122 | while i < len(lts) and i < len(selstart) and lts[i] == selstart[i]: |
| 123 | i += 1 |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 124 | newstart = selstart[:i] |
| 125 | self._change_start(newstart) |
| 126 | |
| 127 | if self.completions[cursel][:len(self.start)] == self.start: |
| 128 | # start is a prefix of the selected completion |
| 129 | self.listbox.configure(selectbackground=self.origselbackground, |
| 130 | selectforeground=self.origselforeground) |
| 131 | else: |
| 132 | self.listbox.configure(selectbackground=self.listbox.cget("bg"), |
| 133 | selectforeground=self.listbox.cget("fg")) |
| 134 | # If there are more completions, show them, and call me again. |
| 135 | if self.morecompletions: |
| 136 | self.completions = self.morecompletions |
| 137 | self.morecompletions = None |
| 138 | self.listbox.delete(0, END) |
| 139 | for item in self.completions: |
| 140 | self.listbox.insert(END, item) |
| 141 | self.listbox.select_set(self._binary_search(self.start)) |
| 142 | self._selection_changed() |
| 143 | |
| 144 | def show_window(self, comp_lists, index, complete, mode, userWantsWin): |
| 145 | """Show the autocomplete list, bind events. |
| 146 | If complete is True, complete the text, and if there is exactly one |
| 147 | matching completion, don't open a list.""" |
| 148 | # Handle the start we already have |
| 149 | self.completions, self.morecompletions = comp_lists |
| 150 | self.mode = mode |
| 151 | self.startindex = self.widget.index(index) |
| 152 | self.start = self.widget.get(self.startindex, "insert") |
| 153 | if complete: |
| 154 | completed = self._complete_string(self.start) |
| 155 | self._change_start(completed) |
| 156 | i = self._binary_search(completed) |
| 157 | if self.completions[i] == completed and \ |
| 158 | (i == len(self.completions)-1 or |
| 159 | self.completions[i+1][:len(completed)] != completed): |
| 160 | # There is exactly one matching completion |
| 161 | return |
| 162 | self.userwantswindow = userWantsWin |
| 163 | self.lasttypedstart = self.start |
| 164 | |
| 165 | # Put widgets in place |
| 166 | self.autocompletewindow = acw = Toplevel(self.widget) |
| 167 | # Put it in a position so that it is not seen. |
| 168 | acw.wm_geometry("+10000+10000") |
| 169 | # Make it float |
| 170 | acw.wm_overrideredirect(1) |
| 171 | try: |
| 172 | # This command is only needed and available on Tk >= 8.4.0 for OSX |
| 173 | # Without it, call tips intrude on the typing process by grabbing |
| 174 | # the focus. |
| 175 | acw.tk.call("::tk::unsupported::MacWindowStyle", "style", acw._w, |
| 176 | "help", "noActivates") |
| 177 | except TclError: |
| 178 | pass |
| 179 | self.scrollbar = scrollbar = Scrollbar(acw, orient=VERTICAL) |
| 180 | self.listbox = listbox = Listbox(acw, yscrollcommand=scrollbar.set, |
| 181 | exportselection=False, bg="white") |
| 182 | for item in self.completions: |
| 183 | listbox.insert(END, item) |
| 184 | self.origselforeground = listbox.cget("selectforeground") |
| 185 | self.origselbackground = listbox.cget("selectbackground") |
| 186 | scrollbar.config(command=listbox.yview) |
| 187 | scrollbar.pack(side=RIGHT, fill=Y) |
| 188 | listbox.pack(side=LEFT, fill=BOTH, expand=True) |
| 189 | |
| 190 | # Initialize the listbox selection |
| 191 | self.listbox.select_set(self._binary_search(self.start)) |
| 192 | self._selection_changed() |
| 193 | |
| 194 | # bind events |
| 195 | self.hideid = self.widget.bind(HIDE_VIRTUAL_EVENT_NAME, |
| 196 | self.hide_event) |
| 197 | for seq in HIDE_SEQUENCES: |
| 198 | self.widget.event_add(HIDE_VIRTUAL_EVENT_NAME, seq) |
| 199 | self.keypressid = self.widget.bind(KEYPRESS_VIRTUAL_EVENT_NAME, |
| 200 | self.keypress_event) |
| 201 | for seq in KEYPRESS_SEQUENCES: |
| 202 | self.widget.event_add(KEYPRESS_VIRTUAL_EVENT_NAME, seq) |
| 203 | self.keyreleaseid = self.widget.bind(KEYRELEASE_VIRTUAL_EVENT_NAME, |
| 204 | self.keyrelease_event) |
| 205 | self.widget.event_add(KEYRELEASE_VIRTUAL_EVENT_NAME,KEYRELEASE_SEQUENCE) |
| 206 | self.listupdateid = listbox.bind(LISTUPDATE_SEQUENCE, |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 207 | self.listselect_event) |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 208 | self.winconfigid = acw.bind(WINCONFIG_SEQUENCE, self.winconfig_event) |
| 209 | self.doubleclickid = listbox.bind(DOUBLECLICK_SEQUENCE, |
| 210 | self.doubleclick_event) |
| 211 | |
| 212 | def winconfig_event(self, event): |
| 213 | if not self.is_active(): |
| 214 | return |
| 215 | # Position the completion list window |
Kurt B. Kaiser | ca30acf | 2007-02-07 03:39:41 +0000 | [diff] [blame] | 216 | text = self.widget |
| 217 | text.see(self.startindex) |
| 218 | x, y, cx, cy = text.bbox(self.startindex) |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 219 | acw = self.autocompletewindow |
Kurt B. Kaiser | ca30acf | 2007-02-07 03:39:41 +0000 | [diff] [blame] | 220 | acw_width, acw_height = acw.winfo_width(), acw.winfo_height() |
| 221 | text_width, text_height = text.winfo_width(), text.winfo_height() |
| 222 | new_x = text.winfo_rootx() + min(x, max(0, text_width - acw_width)) |
| 223 | new_y = text.winfo_rooty() + y |
| 224 | if (text_height - (y + cy) >= acw_height # enough height below |
| 225 | or y < acw_height): # not enough height above |
| 226 | # place acw below current line |
| 227 | new_y += cy |
| 228 | else: |
| 229 | # place acw above current line |
| 230 | new_y -= acw_height |
| 231 | acw.wm_geometry("+%d+%d" % (new_x, new_y)) |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 232 | |
| 233 | def hide_event(self, event): |
| 234 | if not self.is_active(): |
| 235 | return |
| 236 | self.hide_window() |
| 237 | |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 238 | def listselect_event(self, event): |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 239 | if not self.is_active(): |
| 240 | return |
| 241 | self.userwantswindow = True |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 242 | cursel = int(self.listbox.curselection()[0]) |
| 243 | self._change_start(self.completions[cursel]) |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 244 | |
| 245 | def doubleclick_event(self, event): |
| 246 | # Put the selected completion in the text, and close the list |
| 247 | cursel = int(self.listbox.curselection()[0]) |
| 248 | self._change_start(self.completions[cursel]) |
| 249 | self.hide_window() |
| 250 | |
| 251 | def keypress_event(self, event): |
| 252 | if not self.is_active(): |
| 253 | return |
| 254 | keysym = event.keysym |
| 255 | if hasattr(event, "mc_state"): |
| 256 | state = event.mc_state |
| 257 | else: |
| 258 | state = 0 |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 259 | if keysym != "Tab": |
| 260 | self.lastkey_was_tab = False |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 261 | if (len(keysym) == 1 or keysym in ("underscore", "BackSpace") |
| 262 | or (self.mode==AutoComplete.COMPLETE_FILES and keysym in |
| 263 | ("period", "minus"))) \ |
| 264 | and not (state & ~MC_SHIFT): |
| 265 | # Normal editing of text |
| 266 | if len(keysym) == 1: |
| 267 | self._change_start(self.start + keysym) |
| 268 | elif keysym == "underscore": |
| 269 | self._change_start(self.start + '_') |
| 270 | elif keysym == "period": |
| 271 | self._change_start(self.start + '.') |
| 272 | elif keysym == "minus": |
| 273 | self._change_start(self.start + '-') |
| 274 | else: |
| 275 | # keysym == "BackSpace" |
| 276 | if len(self.start) == 0: |
| 277 | self.hide_window() |
| 278 | return |
| 279 | self._change_start(self.start[:-1]) |
| 280 | self.lasttypedstart = self.start |
| 281 | self.listbox.select_clear(0, int(self.listbox.curselection()[0])) |
| 282 | self.listbox.select_set(self._binary_search(self.start)) |
| 283 | self._selection_changed() |
| 284 | return "break" |
| 285 | |
| 286 | elif keysym == "Return" and not state: |
| 287 | # If start is a prefix of the selection, or there was an indication |
| 288 | # that the user used the completion window, put the selected |
| 289 | # completion in the text, and close the list. |
| 290 | # Otherwise, close the window and let the event through. |
| 291 | cursel = int(self.listbox.curselection()[0]) |
| 292 | if self.completions[cursel][:len(self.start)] == self.start or \ |
| 293 | self.userwantswindow: |
| 294 | self._change_start(self.completions[cursel]) |
| 295 | self.hide_window() |
| 296 | return "break" |
| 297 | else: |
| 298 | self.hide_window() |
| 299 | return |
| 300 | |
| 301 | elif (self.mode == AutoComplete.COMPLETE_ATTRIBUTES and keysym in |
| 302 | ("period", "space", "parenleft", "parenright", "bracketleft", |
| 303 | "bracketright")) or \ |
| 304 | (self.mode == AutoComplete.COMPLETE_FILES and keysym in |
| 305 | ("slash", "backslash", "quotedbl", "apostrophe")) \ |
| 306 | and not (state & ~MC_SHIFT): |
| 307 | # If start is a prefix of the selection, but is not '' when |
| 308 | # completing file names, put the whole |
| 309 | # selected completion. Anyway, close the list. |
| 310 | cursel = int(self.listbox.curselection()[0]) |
| 311 | if self.completions[cursel][:len(self.start)] == self.start \ |
| 312 | and (self.mode==AutoComplete.COMPLETE_ATTRIBUTES or self.start): |
| 313 | self._change_start(self.completions[cursel]) |
| 314 | self.hide_window() |
| 315 | return |
| 316 | |
| 317 | elif keysym in ("Home", "End", "Prior", "Next", "Up", "Down") and \ |
| 318 | not state: |
| 319 | # Move the selection in the listbox |
| 320 | self.userwantswindow = True |
| 321 | cursel = int(self.listbox.curselection()[0]) |
| 322 | if keysym == "Home": |
| 323 | newsel = 0 |
| 324 | elif keysym == "End": |
| 325 | newsel = len(self.completions)-1 |
| 326 | elif keysym in ("Prior", "Next"): |
| 327 | jump = self.listbox.nearest(self.listbox.winfo_height()) - \ |
| 328 | self.listbox.nearest(0) |
| 329 | if keysym == "Prior": |
| 330 | newsel = max(0, cursel-jump) |
| 331 | else: |
| 332 | assert keysym == "Next" |
| 333 | newsel = min(len(self.completions)-1, cursel+jump) |
| 334 | elif keysym == "Up": |
| 335 | newsel = max(0, cursel-1) |
| 336 | else: |
| 337 | assert keysym == "Down" |
| 338 | newsel = min(len(self.completions)-1, cursel+1) |
| 339 | self.listbox.select_clear(cursel) |
| 340 | self.listbox.select_set(newsel) |
| 341 | self._selection_changed() |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 342 | self._change_start(self.completions[newsel]) |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 343 | return "break" |
| 344 | |
| 345 | elif (keysym == "Tab" and not state): |
Kurt B. Kaiser | 209de1f | 2007-02-08 22:58:18 +0000 | [diff] [blame^] | 346 | if self.lastkey_was_tab: |
| 347 | # two tabs in a row; insert current selection and close acw |
| 348 | cursel = int(self.listbox.curselection()[0]) |
| 349 | self._change_start(self.completions[cursel]) |
| 350 | self.hide_window() |
| 351 | return "break" |
| 352 | else: |
| 353 | # first tab; let AutoComplete handle the completion |
| 354 | self.userwantswindow = True |
| 355 | self.lastkey_was_tab = True |
| 356 | return |
Kurt B. Kaiser | b175445 | 2005-11-18 22:05:48 +0000 | [diff] [blame] | 357 | |
| 358 | elif reduce(lambda x, y: x or y, |
| 359 | [keysym.find(s) != -1 for s in ("Shift", "Control", "Alt", |
| 360 | "Meta", "Command", "Option") |
| 361 | ]): |
| 362 | # A modifier key, so ignore |
| 363 | return |
| 364 | |
| 365 | else: |
| 366 | # Unknown event, close the window and let it through. |
| 367 | self.hide_window() |
| 368 | return |
| 369 | |
| 370 | def keyrelease_event(self, event): |
| 371 | if not self.is_active(): |
| 372 | return |
| 373 | if self.widget.index("insert") != \ |
| 374 | self.widget.index("%s+%dc" % (self.startindex, len(self.start))): |
| 375 | # If we didn't catch an event which moved the insert, close window |
| 376 | self.hide_window() |
| 377 | |
| 378 | def is_active(self): |
| 379 | return self.autocompletewindow is not None |
| 380 | |
| 381 | def complete(self): |
| 382 | self._change_start(self._complete_string(self.start)) |
| 383 | # The selection doesn't change. |
| 384 | |
| 385 | def hide_window(self): |
| 386 | if not self.is_active(): |
| 387 | return |
| 388 | |
| 389 | # unbind events |
| 390 | for seq in HIDE_SEQUENCES: |
| 391 | self.widget.event_delete(HIDE_VIRTUAL_EVENT_NAME, seq) |
| 392 | self.widget.unbind(HIDE_VIRTUAL_EVENT_NAME, self.hideid) |
| 393 | self.hideid = None |
| 394 | for seq in KEYPRESS_SEQUENCES: |
| 395 | self.widget.event_delete(KEYPRESS_VIRTUAL_EVENT_NAME, seq) |
| 396 | self.widget.unbind(KEYPRESS_VIRTUAL_EVENT_NAME, self.keypressid) |
| 397 | self.keypressid = None |
| 398 | self.widget.event_delete(KEYRELEASE_VIRTUAL_EVENT_NAME, |
| 399 | KEYRELEASE_SEQUENCE) |
| 400 | self.widget.unbind(KEYRELEASE_VIRTUAL_EVENT_NAME, self.keyreleaseid) |
| 401 | self.keyreleaseid = None |
| 402 | self.listbox.unbind(LISTUPDATE_SEQUENCE, self.listupdateid) |
| 403 | self.listupdateid = None |
| 404 | self.autocompletewindow.unbind(WINCONFIG_SEQUENCE, self.winconfigid) |
| 405 | self.winconfigid = None |
| 406 | |
| 407 | # destroy widgets |
| 408 | self.scrollbar.destroy() |
| 409 | self.scrollbar = None |
| 410 | self.listbox.destroy() |
| 411 | self.listbox = None |
| 412 | self.autocompletewindow.destroy() |
| 413 | self.autocompletewindow = None |