| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  | "Implement Idle Shell history mechanism with History class" | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-05-28 13:22:31 -04:00
										 |  |  | from idlelib.config import idleConf | 
					
						
							| 
									
										
										
										
											2005-02-03 01:37:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-31 00:50:55 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | class History: | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |     ''' Implement Idle Shell history mechanism.
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-05-28 13:22:31 -04:00
										 |  |  |     store - Store source statement (called from pyshell.resetoutput). | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |     fetch - Fetch stored statement matching prefix already entered. | 
					
						
							|  |  |  |     history_next - Bound to <<history-next>> event (default Alt-N). | 
					
						
							|  |  |  |     history_prev - Bound to <<history-prev>> event (default Alt-P). | 
					
						
							|  |  |  |     '''
 | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |     def __init__(self, text): | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |         '''Initialize data attributes and bind event methods.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         .text - Idle wrapper of tk Text widget, with .bell(). | 
					
						
							|  |  |  |         .history - source statements, possibly with multiple lines. | 
					
						
							|  |  |  |         .prefix - source already entered at prompt; filters history list. | 
					
						
							|  |  |  |         .pointer - index into history. | 
					
						
							|  |  |  |         .cyclic - wrap around history list (or not). | 
					
						
							|  |  |  |         '''
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         self.text = text | 
					
						
							|  |  |  |         self.history = [] | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |         self.prefix = None | 
					
						
							|  |  |  |         self.pointer = None | 
					
						
							| 
									
										
										
										
											2005-02-03 01:37:14 +00:00
										 |  |  |         self.cyclic = idleConf.GetOption("main", "History", "cyclic", 1, "bool") | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         text.bind("<<history-previous>>", self.history_prev) | 
					
						
							|  |  |  |         text.bind("<<history-next>>", self.history_next) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def history_next(self, event): | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |         "Fetch later statement; start with ealiest if cyclic." | 
					
						
							|  |  |  |         self.fetch(reverse=False) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         return "break" | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def history_prev(self, event): | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |         "Fetch earlier statement; start with most recent." | 
					
						
							|  |  |  |         self.fetch(reverse=True) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         return "break" | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |     def fetch(self, reverse): | 
					
						
							| 
									
										
										
										
											2019-07-30 18:14:58 -04:00
										 |  |  |         '''Fetch statement and replace current line in text widget.
 | 
					
						
							| 
									
										
										
										
											2013-08-15 14:32:04 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |         Set prefix and pointer as needed for successive fetches. | 
					
						
							|  |  |  |         Reset them to None, None when returning to the start line. | 
					
						
							|  |  |  |         Sound bell when return to start line or cannot leave a line | 
					
						
							|  |  |  |         because cyclic is False. | 
					
						
							|  |  |  |         '''
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         nhist = len(self.history) | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |         pointer = self.pointer | 
					
						
							|  |  |  |         prefix = self.prefix | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         if pointer is not None and prefix is not None: | 
					
						
							|  |  |  |             if self.text.compare("insert", "!=", "end-1c") or \ | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |                     self.text.get("iomark", "end-1c") != self.history[pointer]: | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |                 pointer = prefix = None | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |                 self.text.mark_set("insert", "end-1c")  # != after cursor move | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         if pointer is None or prefix is None: | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |             prefix = self.text.get("iomark", "end-1c") | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |             if reverse: | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |                 pointer = nhist  # will be decremented | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |             else: | 
					
						
							| 
									
										
										
										
											2005-02-03 01:37:14 +00:00
										 |  |  |                 if self.cyclic: | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |                     pointer = -1  # will be incremented | 
					
						
							| 
									
										
										
										
											2013-08-15 14:32:04 -04:00
										 |  |  |                 else:  # abort history_next | 
					
						
							| 
									
										
										
										
											2005-02-03 01:37:14 +00:00
										 |  |  |                     self.text.bell() | 
					
						
							|  |  |  |                     return | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         nprefix = len(prefix) | 
					
						
							|  |  |  |         while 1: | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |             pointer += -1 if reverse else 1 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |             if pointer < 0 or pointer >= nhist: | 
					
						
							|  |  |  |                 self.text.bell() | 
					
						
							| 
									
										
										
										
											2013-08-15 14:32:04 -04:00
										 |  |  |                 if not self.cyclic and pointer < 0:  # abort history_prev | 
					
						
							| 
									
										
										
										
											2005-02-03 01:37:14 +00:00
										 |  |  |                     return | 
					
						
							|  |  |  |                 else: | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |                     if self.text.get("iomark", "end-1c") != prefix: | 
					
						
							| 
									
										
										
										
											2005-02-03 01:37:14 +00:00
										 |  |  |                         self.text.delete("iomark", "end-1c") | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |                         self.text.insert("iomark", prefix) | 
					
						
							| 
									
										
										
										
											2005-02-03 01:37:14 +00:00
										 |  |  |                     pointer = prefix = None | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |                 break | 
					
						
							|  |  |  |             item = self.history[pointer] | 
					
						
							|  |  |  |             if item[:nprefix] == prefix and len(item) > nprefix: | 
					
						
							|  |  |  |                 self.text.delete("iomark", "end-1c") | 
					
						
							| 
									
										
										
										
											2013-08-15 16:19:13 -04:00
										 |  |  |                 self.text.insert("iomark", item) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |                 break | 
					
						
							|  |  |  |         self.text.see("insert") | 
					
						
							|  |  |  |         self.text.tag_remove("sel", "1.0", "end") | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |         self.pointer = pointer | 
					
						
							|  |  |  |         self.prefix = prefix | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |     def store(self, source): | 
					
						
							|  |  |  |         "Store Shell input statement into history list." | 
					
						
							| 
									
										
										
										
											2002-09-16 22:09:19 +00:00
										 |  |  |         source = source.strip() | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         if len(source) > 2: | 
					
						
							|  |  |  |             # avoid duplicates | 
					
						
							|  |  |  |             try: | 
					
						
							|  |  |  |                 self.history.remove(source) | 
					
						
							|  |  |  |             except ValueError: | 
					
						
							|  |  |  |                 pass | 
					
						
							|  |  |  |             self.history.append(source) | 
					
						
							| 
									
										
										
										
											2013-08-13 19:51:04 -04:00
										 |  |  |         self.pointer = None | 
					
						
							|  |  |  |         self.prefix = None | 
					
						
							| 
									
										
										
										
											2013-08-15 14:32:04 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-31 00:50:55 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-08-15 14:32:04 -04:00
										 |  |  | if __name__ == "__main__": | 
					
						
							|  |  |  |     from unittest import main | 
					
						
							| 
									
										
										
										
											2016-08-31 00:50:55 -04:00
										 |  |  |     main('idlelib.idle_test.test_history', verbosity=2, exit=False) |