| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  | """Simple text browser for IDLE
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-31 06:59:02 +00:00
										 |  |  | """
 | 
					
						
							| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-16 15:48:15 +00:00
										 |  |  | from tkinter import * | 
					
						
							|  |  |  | import tkinter.messagebox as tkMessageBox | 
					
						
							| 
									
										
										
										
											2001-07-31 06:59:02 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | class TextViewer(Toplevel): | 
					
						
							| 
									
										
										
										
											2007-10-04 02:53:07 +00:00
										 |  |  |     """A simple text viewer dialog for IDLE
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-31 06:59:02 +00:00
										 |  |  |     """
 | 
					
						
							| 
									
										
										
										
											2007-10-04 02:53:07 +00:00
										 |  |  |     def __init__(self, parent, title, text): | 
					
						
							|  |  |  |         """Show the given text in a scrollable window with a 'close' button
 | 
					
						
							| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |         """
 | 
					
						
							|  |  |  |         Toplevel.__init__(self, parent) | 
					
						
							|  |  |  |         self.configure(borderwidth=5) | 
					
						
							| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  |         self.geometry("=%dx%d+%d+%d" % (625, 500, | 
					
						
							|  |  |  |                                         parent.winfo_rootx() + 10, | 
					
						
							|  |  |  |                                         parent.winfo_rooty() + 10)) | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |         #elguavas - config placeholders til config stuff completed | 
					
						
							| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  |         self.bg = '#ffffff' | 
					
						
							|  |  |  |         self.fg = '#000000' | 
					
						
							| 
									
										
										
										
											2001-07-31 06:59:02 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |         self.CreateWidgets() | 
					
						
							|  |  |  |         self.title(title) | 
					
						
							|  |  |  |         self.transient(parent) | 
					
						
							|  |  |  |         self.grab_set() | 
					
						
							|  |  |  |         self.protocol("WM_DELETE_WINDOW", self.Ok) | 
					
						
							|  |  |  |         self.parent = parent | 
					
						
							|  |  |  |         self.textView.focus_set() | 
					
						
							|  |  |  |         #key bindings for this dialog | 
					
						
							|  |  |  |         self.bind('<Return>',self.Ok) #dismiss dialog | 
					
						
							|  |  |  |         self.bind('<Escape>',self.Ok) #dismiss dialog | 
					
						
							| 
									
										
										
										
											2007-10-04 02:53:07 +00:00
										 |  |  |         self.textView.insert(0.0, text) | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |         self.textView.config(state=DISABLED) | 
					
						
							|  |  |  |         self.wait_window() | 
					
						
							| 
									
										
										
										
											2002-12-31 16:03:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |     def CreateWidgets(self): | 
					
						
							| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  |         frameText = Frame(self, relief=SUNKEN, height=700) | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |         frameButtons = Frame(self) | 
					
						
							| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  |         self.buttonOk = Button(frameButtons, text='Close', | 
					
						
							|  |  |  |                                command=self.Ok, takefocus=FALSE) | 
					
						
							|  |  |  |         self.scrollbarView = Scrollbar(frameText, orient=VERTICAL, | 
					
						
							|  |  |  |                                        takefocus=FALSE, highlightthickness=0) | 
					
						
							|  |  |  |         self.textView = Text(frameText, wrap=WORD, highlightthickness=0, | 
					
						
							|  |  |  |                              fg=self.fg, bg=self.bg) | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |         self.scrollbarView.config(command=self.textView.yview) | 
					
						
							|  |  |  |         self.textView.config(yscrollcommand=self.scrollbarView.set) | 
					
						
							| 
									
										
										
										
											2003-06-12 04:20:56 +00:00
										 |  |  |         self.buttonOk.pack() | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |         self.scrollbarView.pack(side=RIGHT,fill=Y) | 
					
						
							|  |  |  |         self.textView.pack(side=LEFT,expand=TRUE,fill=BOTH) | 
					
						
							|  |  |  |         frameButtons.pack(side=BOTTOM,fill=X) | 
					
						
							|  |  |  |         frameText.pack(side=TOP,expand=TRUE,fill=BOTH) | 
					
						
							| 
									
										
										
										
											2002-12-31 16:03:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |     def Ok(self, event=None): | 
					
						
							|  |  |  |         self.destroy() | 
					
						
							| 
									
										
										
										
											2001-07-31 06:59:02 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-10-04 02:53:07 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def view_text(parent, title, text): | 
					
						
							|  |  |  |     TextViewer(parent, title, text) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | def view_file(parent, title, filename, encoding=None): | 
					
						
							|  |  |  |     try: | 
					
						
							|  |  |  |         if encoding: | 
					
						
							|  |  |  |             import codecs | 
					
						
							|  |  |  |             textFile = codecs.open(filename, 'r') | 
					
						
							|  |  |  |         else: | 
					
						
							|  |  |  |             textFile = open(filename, 'r') | 
					
						
							|  |  |  |     except IOError: | 
					
						
							| 
									
										
										
										
											2008-05-16 15:48:15 +00:00
										 |  |  |         import tkinter.messagebox as tkMessageBox | 
					
						
							| 
									
										
										
										
											2007-10-04 02:53:07 +00:00
										 |  |  |         tkMessageBox.showerror(title='File Load Error', | 
					
						
							|  |  |  |                                message='Unable to load file %r .' % filename, | 
					
						
							|  |  |  |                                parent=parent) | 
					
						
							|  |  |  |     else: | 
					
						
							|  |  |  |         return view_text(parent, title, textFile.read()) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-31 06:59:02 +00:00
										 |  |  | if __name__ == '__main__': | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |     #test the dialog | 
					
						
							|  |  |  |     root=Tk() | 
					
						
							| 
									
										
										
										
											2007-10-04 02:53:07 +00:00
										 |  |  |     root.title('textView test') | 
					
						
							|  |  |  |     filename = './textView.py' | 
					
						
							|  |  |  |     text = file(filename, 'r').read() | 
					
						
							|  |  |  |     btn1 = Button(root, text='view_text', | 
					
						
							|  |  |  |                  command=lambda:view_text(root, 'view_text', text)) | 
					
						
							|  |  |  |     btn1.pack(side=LEFT) | 
					
						
							|  |  |  |     btn2 = Button(root, text='view_file', | 
					
						
							|  |  |  |                   command=lambda:view_file(root, 'view_file', filename)) | 
					
						
							|  |  |  |     btn2.pack(side=LEFT) | 
					
						
							|  |  |  |     close = Button(root, text='Close', command=root.destroy) | 
					
						
							|  |  |  |     close.pack(side=RIGHT) | 
					
						
							| 
									
										
										
										
											2001-07-31 10:46:53 +00:00
										 |  |  |     root.mainloop() |