class LogWindow(Frame): def __init__(self, master=None): Frame.__init__(self, master) self.master.title("Network Simulator Log") self.text = ScrolledText(self) self.text.pack(fill=BOTH, expand=1) self.pack(fill=BOTH, expand=1) self.text.config( background="black", foreground="white", font=Font( family="Courier", weight="bold"), # state=DISABLED, wrap=NONE, ) self.text.tag_config("DEBUG", foreground="green") self.text.tag_config("ERROR", foreground="red") self.text.tag_config("CRITICAL", foreground="red") self.text.tag_config("EXCEPTION", foreground="red") self.text.tag_config("WARNING", foreground="yellow") self.text.tag_config("INFO", foreground="white") self.text.bind("<Key>", lambda e: 'break') self.text.bind("<Return>", self._clear) self.queue = Queue() self._update() def _clear(self, event): self.text.delete(1.0, END) return 'break' def _update(self): try: while True: text, level = self.queue.get(block=False) at_bottom = self.text.yview()[1] == 1.0 # self.text.config(state=NORMAL) if len(self.text.get(1.0, END).strip()) != 0: text = "\n" + text self.text.insert(END, text, str(level)) # self.text.config(state=DISABLED) if at_bottom: self.text.yview_moveto(1.0) except Empty: pass self.after(50, self._update) def append(self, entry, level="INFO"): self.queue.put((entry, level))
class LogWindow(Frame): def __init__(self, master=None): Frame.__init__(self, master) self.master.title("Network Simulator Log") self.text = ScrolledText(self) self.text.pack(fill=BOTH, expand=1) self.pack(fill=BOTH, expand=1) self.text.config( background="black", foreground="white", font=Font(family="Courier", weight="bold"), # state=DISABLED, wrap=NONE, ) self.text.tag_config("DEBUG", foreground="green") self.text.tag_config("ERROR", foreground="red") self.text.tag_config("CRITICAL", foreground="red") self.text.tag_config("EXCEPTION", foreground="red") self.text.tag_config("WARNING", foreground="yellow") self.text.tag_config("INFO", foreground="white") self.text.bind("<Key>", lambda e: 'break') self.text.bind("<Return>", self._clear) self.queue = Queue() self._update() def _clear(self, event): self.text.delete(1.0, END) return 'break' def _update(self): try: while True: text, level = self.queue.get(block=False) at_bottom = self.text.yview()[1] == 1.0 # self.text.config(state=NORMAL) if len(self.text.get(1.0, END).strip()) != 0: text = "\n" + text self.text.insert(END, text, str(level)) # self.text.config(state=DISABLED) if at_bottom: self.text.yview_moveto(1.0) except Empty: pass self.after(50, self._update) def append(self, entry, level="INFO"): self.queue.put((entry, level))
def Show_Configs(): root = Tk() root.title("Configuration") root.geometry("700x500+100+100") s = Style() s.configure('Yellow.TFrame', background='yellow', borderwidth = 5, padding=15, relief='sunken') FrameA = Frame(width=450, height=200, style='Yellow.TFrame') FrameB = Frame(width=450, height=200) root.grid_rowconfigure(1, weight=1, pad=5) root.grid_columnconfigure(0, weight=1, pad=5) FrameA.grid(row=0, sticky="ew") FrameB.grid(row=1, sticky="ew") cfg_space = ScrolledText(FrameA, wrap = 'word', width =30, height = 6, bg = 'beige') cfg_space.grid(row=0, column=0, padx=5, pady=5) cfg_space.insert('insert', "pile of text \n more text") fix_space = ScrolledText(FrameA, wrap = 'word', width =30, height = 6, bg = 'beige') fix_space.grid(row=0, column=1) fix_space.insert('insert', "hello text \n more text") clr_space = ScrolledText(FrameB, wrap = 'word', width =30, height = 10, bg = 'beige') clr_space.grid(row=0, column=0) clr_space.insert('insert', "bottom text \n more text") clr_space.config(state='disabled') seq_space = c_ScrolledTextBox(FrameA,6,30,1,0) seq_space.Add_Text("\nHello World") root.mainloop()
def showskeleton(self): self.skel_location = zdracheck.findskeleton(self.fl) if os.path.isfile(self.skel_location): skelwindow = Toplevel() skelwindow.title("Generalised Skeleton") skelspec = ScrolledText(skelwindow, wrap=WORD) skelspec.pack() skelspecif = self.readFile(self.skel_location) skelspec.insert(END, skelspecif) skelspec.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Please convert specification into GPSa first") self.top.config(state=DISABLED)
def showgpsa(self): self.gpsalocation = totalise.findgpsa(self.fl) if os.path.isfile(self.gpsalocation): gpsawindow = Toplevel() gpsawindow.title("ProofPower Skeleton") gpsaspec = ScrolledText(gpsawindow, wrap=WORD) gpsaspec.pack() gpsaspecif = self.readFile(self.gpsalocation) gpsaspec.config(state=NORMAL) gpsaspec.insert(END, gpsaspecif) gpsaspec.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Please convert specification into GPSa first") self.top.config(state=DISABLED)
def showIsaSkel(self): self.Isalocation = totalise.findisagpsa(self.fl) if os.path.isfile(self.Isalocation): isawindow = Toplevel() isawindow.title("Isabelle Skeleton") isaspec = ScrolledText(isawindow, wrap=WORD) isaspec.pack() isaspecif = self.readFile(self.Isalocation) isaspec.config(state=NORMAL) isaspec.insert(END, isaspecif) isaspec.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert( END, "Please convert specification into Isabelle Skeleton first") self.top.config(state=DISABLED)
class SigMsgBox: def __init__(self, parent, fnames): self.fnames = fnames self.parent = parent self.top = Toplevel(parent) self.result = None Label(self.top, text="Verify that the size of the signatures is as expected: " ).grid(row=0, columnspan=2) self.text = ScrolledText(self.top, bg='#D9D9D9', width=32, height=10) self.text.config(state=DISABLED) self.text.grid(row=1, columnspan=2) self.ok_b = Button(self.top, text="OK", command=self.ok) self.no_b = Button(self.top, text="No", command=self.cancel) self.ok_b.grid(row=2, column=0) self.no_b.grid(row=2, column=1) self.add_sigs() def ok(self): self.result = 1 if self.parent is not None: self.parent.focus_set() self.destroy() def cancel(self): self.result = 0 if self.parent is not None: self.parent.focus_set() self.destroy() def destroy(self): self.top.destroy() def add_sigs(self): self.text.config(state=NORMAL) for fname in self.fnames: name = os.path.splitext(os.path.split(fname)[1])[0] ct = str(map(lambda x: len(x), read_sig_file(fname))) self.text.insert(END, name + ' ' + ct + '\n') self.text.config(state=DISABLED)
class HTMLViewer(Toplevel): """ Basic class which provides a scrollable area for viewing HTML text and a Dismiss button """ def __init__(self, htmlcode, title, master=None): Toplevel.__init__(self, master) #self.protocol('WM_DELETE_WINDOW',self.withdraw) self.titleprefix = title color = self.config("bg")[4] borderFrame = Frame(self, relief=SUNKEN, bd=2) # Extra Frame self.text = ScrolledText( borderFrame, relief=FLAT, padx=3, pady=3, background='white', #background=color, #foreground="black", wrap='word', width=60, height=20, spacing1=3, spacing2=2, spacing3=3) self.text.pack(expand=1, fill=BOTH) #self.text.insert('0.0', text) self.text['state'] = DISABLED borderFrame.pack(side=TOP, expand=1, fill=BOTH) box = Frame(self) w = Button(box, text="Dismiss", width=10, command=self.doWithdraw, default=ACTIVE) w.pack(side=RIGHT, padx=5, pady=5) self.bind("<Return>", self.doWithdraw) box.pack(side=BOTTOM, fill=BOTH) self.setStyle() self.insert(htmlcode) def setStyle(self): baseSize = 14 self.text.config(font="Times %d" % baseSize) self.text.tag_config('h1', font="Times %d bold" % (baseSize + 8)) self.text.tag_config('h2', font="Times %d bold" % (baseSize + 6)) self.text.tag_config('h3', font="Times %d bold" % (baseSize + 4)) self.text.tag_config('h4', font="Times %d bold" % (baseSize + 2)) self.text.tag_config('h5', font="Times %d bold" % (baseSize + 1)) self.text.tag_config('b', font="Times %d bold" % baseSize) self.text.tag_config('em', font="Times %d italic" % baseSize) self.text.tag_config('pre', font="Courier %d" % baseSize) self.text.tag_config('tt', font="Courier %d" % baseSize) def doWithdraw(self, event=None): # Need to eat optional event so that we can use is in both button and bind callback self.withdraw() def Update(self, htmlcode, title): self.titleprefix = title self.insert(htmlcode) def insert(self, htmlcode): self.text['state'] = NORMAL self.text.delete('0.0', END) writer = HTMLWriter(self.text, self) format = formatter.AbstractFormatter(writer) #parser = htmllib.HTMLParser(format) parser = MyHTMLParser(format, self.text) parser.nofill = False parser.feed(htmlcode) parser.close() self.text['state'] = DISABLED if parser.title != None: self.title(self.titleprefix + " - " + parser.title) else: self.title(self.titleprefix)
class GUI(object): selected_file = None file_changes = "" def __init__(self, parent, client): ''' :param parent: Tkinter object :param client: Client object ''' self.root = parent self.client = client # load initial setting self.text = ScrolledText(self.root, width=50, height=15) self.text.grid(row=0, column=2, columnspan=3) # Loading the list of files in menu self.files_list = Listbox(self.root, height=5) self.files_list.grid(column=0, row=0, sticky=(N, W, E, S)) # Attach scroll to list of files self.scrollbar = ttk.Scrollbar(self.root, orient=VERTICAL, command=self.files_list.yview) self.scrollbar.grid(column=1, row=0, sticky=(N, S)) self.files_list['yscrollcommand'] = self.scrollbar.set ttk.Sizegrip().grid(column=1, row=1, sticky=(S, E)) self.root.grid_columnconfigure(0, weight=1) self.root.grid_rowconfigure(0, weight=1) # Status self.status = StringVar() self.label = Label(self.root, textvariable=self.status) self.set_notification_status("-") # Radio button to choose "Access" self.label.grid(column=0, columnspan=2, sticky=(W)) self.access_button_val = StringVar() self.public_access = Radiobutton(self.root, text="Make file public", variable=self.access_button_val, value="0", state=DISABLED, command=self.onAccessChange) self.private_access = Radiobutton(self.root, text="Make file private", variable=self.access_button_val, value="1", state=DISABLED, command=self.onAccessChange) self.public_access.grid(column=2, row=2, sticky=(E)) self.private_access.grid(column=3, row=2, sticky=(E)) # Button check changes self.button_check_changes = Button(self.root, text="Check Changes", command=self.onCheckChanges) self.button_check_changes.grid(column=4, row=2, sticky=(E)) # Main menu in GUI ---------------------------------------------------------------------------- self.menu = Menu(self.root) self.root.config(menu=self.menu) self.menu.add_command(label="New file", command=self.onFileCreation) # self.menu.add_command(label="Open", command=self.onOpenFile) self.menu.add_command(label="Delete file", state=DISABLED, command=self.onFileDeletion) self.menu.add_command(label="Exit", command=self.onExit) # Update list of accessible files (request to server) self.upload_list_of_accessible_files_into_menu() # Start triggers for the first launch self.block_text_window() self.block_button_check_changes() # Add triggers # Recognize any press on the keyboard and"Enter" press self.text.bind("<Key>", self.onKeyPress) self.text.bind("<Return>", self.onEnterPress) self.root.protocol('WM_DELETE_WINDOW', self.onExit) self.files_list.bind('<<ListboxSelect>>', self.onFileSelection) # Triggers in the GUI window ======================================================================== # ========= Triggers in text area =================================================================== def get_index(self, index): return tuple(map(int, str(self.text.index(index)).split("."))) def onKeyPress(self, event): current_file = self.selected_file # inserted character and position of change char, pos_change = event.char, str(self.text.index("insert")) # char = char.encode('utf-8') # print repr(char) # char = char.encode('utf-8') # print repr(char) # If any file was chosen if current_file: # self.count += 1 # if self.count == 5: # self.text.insert(1.1, "click here!") # c, pos = event.char, self.get_index("insert") if event.keysym == "BackSpace": self.client.update_file_on_server(current_file, CHANGE_TYPE.BACKSPACE, pos_change) print "backspace", pos_change elif event.keysym == "Delete": self.client.update_file_on_server(current_file, CHANGE_TYPE.DELETE, pos_change) print "Delete pressed", pos_change # self.text.delete(float(pos_change[0]) + .1) elif char != "" and event.keysym != "Escape": self.client.update_file_on_server(current_file, CHANGE_TYPE.INSERT, pos_change, key=char) print "pressed", char, pos_change, event.keysym def onEnterPress(self, event): current_file = self.selected_file # If any file was chosen if current_file: char, pos_change = event.char, str(self.text.index("insert")) # "Enter" was pressed if char in ["\r", "\n"]: self.client.update_file_on_server(current_file, CHANGE_TYPE.ENTER, pos_change) print repr("\n"), self.get_index("insert") else: print(char) # ========= Other triggers ========================================================================== def onFileSelection(self, event): # Get currently selected file widget = self.files_list try: index = int(widget.curselection()[0]) selected_file = widget.get(index) except: selected_file = None if selected_file and (not self.selected_file or self.selected_file != selected_file): # Update notification bar self.set_notification_status("selected file " + selected_file) # Save previously opened text file in local storage self.save_opened_text() # Download selected file resp_code, response_data = self.client.get_file_on_server( selected_file) # Split additional arguments am_i_owner, file_access, content = response_data # Freeze delete and access buttons self.block_delete_button() self.block_access_buttons() # Case: File was successfully downloaded if resp_code == RESP.OK: # If I'm owner, then I can delete file and change its access if am_i_owner == "1": self.release_delete_button() self.choose_access_button(file_access) self.chosen_access = file_access # Unblock and update text window self.unblock_text_window() self.replace_text(content) # Check and write changes in the file (prepare them) # When user clicks on the button, then these changes will be shown in the window) self.compare_local_copy_with_origin(selected_file, original_text=content) self.unblock_button_check_changes() # Case: Error response from server on file downloading else: self.clear_text() self.block_text_window() # Update notification bar self.set_notification_status("download file", resp_code) # print "Error occurred while tried to download file" self.selected_file = selected_file def onFileCreation(self): ask_file_dialog = DialogAskFileName(self.root) # Fetch values from Dialog form file_name = ask_file_dialog.file_name # Check if the user didn't press cancel if file_name: access = str(ask_file_dialog.access) # Private(1) or Public(0) # Send request to server to create file resp_code = self.client.create_new_file(file_name, access) if resp_code == RESP.OK: self.save_opened_text() # add new file to the list self.files_list.insert(END, file_name) # Choose access button and activate delete button self.release_delete_button() self.choose_access_button(access) # Update notification bar self.set_notification_status("File creation", resp_code) # Trigger on switching between access buttons def onAccessChange(self): curent_access = self.access_button_val.get() file_name = self.selected_file # Request to the server to change access to the file if self.chosen_access != curent_access: resp_code = self.client.change_access_to_file( file_name, self.chosen_access) self.set_notification_status( "change access to file " + str(file_name), resp_code) self.chosen_access = curent_access # Trigger on file deletion button def onFileDeletion(self): # Send request to server to delete file file_name = self.selected_file resp_code = self.client.delete_file(file_name) # Block window, until user will select the file if resp_code == RESP.OK: self.remove_file_from_menu_and_delete_local_copy(file_name) # Update notification bar self.set_notification_status("file deletion", resp_code) # def onOpenFile(self): # tk_file = tkFileDialog.askopenfile(parent=root, mode='rb', title='Select a file') # # with open('test.txt','w') as f: # f.write(self.text.get(1.0, END)) # # if tk_file: # contents = tk_file.read() # self.upload_content_into_textfield(contents) # tk_file.close() def onCheckChanges(self): window = Toplevel(self.root) changes_window = ScrolledText(window, width=50, height=15, state="normal") changes_window.grid(row=0, column=0) # Clear, rewrite and show changes between opened and downloaded file changes_window.delete(1.0, "end") changes_window.insert(END, self.file_changes) def onExit(self): if tkMessageBox.askokcancel("Quit", "Do you really want to quit?"): # save opened text in window self.save_opened_text() self.root.destroy() # Functions to work with interface ================================================================== def compare_local_copy_with_origin(self, local_file_name, original_text): ''' :param local_file_name: File that may locate on the client side :param original_text: original content on the server :return: (Boolean) True - if the texts are the same ''' local_file_path = os.path.join(client_files_dir, local_file_name) # If local copy of the file exists, then compare copies if os.path.isfile(local_file_path): with open(local_file_path, "r") as lf: local_content = lf.read() if local_content == original_text: self.file_changes = "Information is the same as in local copy" else: self.file_changes = "Information doesn't match!\n" local_content, original_text = local_content.strip( ).splitlines(), original_text.strip().splitlines() # Write mismatches and mismatches for line in difflib.unified_diff(local_content, original_text, lineterm=''): self.file_changes += line + "\n" else: self.file_changes = "Local copy was not found" def upload_list_of_accessible_files_into_menu(self): resp_code, accessible_files = self.client.get_accessible_files() # accessible_files = [] # resp_code = 0 for filename in accessible_files: self.files_list.insert(END, filename) # Update notification bar self.set_notification_status("List of files", resp_code) # Save previously opened text file in local storage def save_opened_text(self): if self.selected_file is not None: ps_file_path = os.path.join(client_files_dir, self.selected_file) with open(ps_file_path, "w") as f: content = self.get_text() content = content.encode('utf-8') print repr(content) f.write(content) def get_text(self): contents = self.text.get(1.0, Tkinter.END) # Tkinter adds \n in the text field. That's why we should deduct it. contents = contents[:len(contents) - len("\n")] return contents def set_text(self, info): self.text.insert(END, info) def replace_text(self, content): self.clear_text() self.set_text(content) def clear_text(self): self.text.delete(1.0, "end") def block_text_window(self): # block text area self.text.config(state=DISABLED, background="gray") def unblock_text_window(self): self.text.config(state=NORMAL, background="white") # Delete button block def block_delete_button(self): self.menu.entryconfigure("Delete file", state="disabled") # Delete button release def release_delete_button(self): self.menu.entryconfigure("Delete file", state="normal") # Block and reset Access radio buttons def block_access_buttons(self): self.public_access.configure(state="disabled") self.private_access.configure(state="disabled") # Update Access radio buttons def choose_access_button(self, file_access): # Unfreeze buttons if they're not active self.public_access.configure(state="normal") self.private_access.configure(state="normal") # Select current access to file in radio button if file_access == ACCESS.PRIVATE: self.private_access.select() elif file_access == ACCESS.PUBLIC: self.public_access.select() # (un)Block the button "check changes" def block_button_check_changes(self): self.button_check_changes.config(state=DISABLED) def unblock_button_check_changes(self): self.button_check_changes.config(state=NORMAL) def set_notification_status(self, message, err_code=None): if err_code: message += ".\n" + error_code_to_string(err_code) self.status.set("Last action: " + message) # NOTIFICATION UPDATES (From server) =============================================================== # ======== Some change was made in file by another client ========================================== def notification_update_file(self, change): ''' Another client made the change => update text window :param change: (string) in format ''' # Parse change that arrived from server # position is in format "row.column" file_to_change, change_type, pos, key = parse_change( change, case_update_file=True) # And check whether the selected file matches with file in change if self.selected_file and self.selected_file == file_to_change: # Depending on change, do the change if change_type == CHANGE_TYPE.DELETE: self.text.delete(pos) elif change_type == CHANGE_TYPE.BACKSPACE: splitted_pos = pos.split(".") row, column = int(splitted_pos[0]), int(splitted_pos[1]) if row - 1 > 0 and column == 0: # Get last index in previous line, and delete it pr_pos = str(row - 1) + ".0" pr_line_last_len = len(self.text.get(pr_pos, pos)) last_index = str(row - 1) + "." + str(pr_line_last_len) self.text.delete(last_index) elif column > 0: pos_to_del = str(row) + "." + str(column - 1) self.text.delete(pos_to_del) elif change_type == CHANGE_TYPE.ENTER: self.text.insert(pos, "\n") elif change_type == CHANGE_TYPE.INSERT: self.text.insert(pos, key) # print file_to_change, change_type, pos, key self.set_notification_status("another user changed the file") # ======== Another client created a document with public access ==================================== def notification_file_creation(self, change): file_name = parse_change(change) file_name = file_name[0] # Update file list self.files_list.insert(END, file_name) # Update notification bar self.set_notification_status( "another client created file with public access") # ======== Another client deleted a document ======================================================= def notification_file_deletion(self, change): ''' :param change: (string) contain file ''' deleted_file = parse_change(change) deleted_file = deleted_file[0] # Delete file from menu and its local copy and block the window if current=changed_file notification = "owner deleted file " + str(deleted_file) self.remove_file_from_menu_and_delete_local_copy( deleted_file, notification) # ======== Another client changed the access to the file (made it private/public) ================== def notification_changed_access_to_file(self, change): file_name, access = parse_change(change) # Owner changed access to file to Private status if access == ACCESS.PRIVATE: notification = "another client changed access file " + str( file_name) + " to private" notification += ". Local copy deleted" # Delete file from menu and its local copy and block the window if current=changed_file self.remove_file_from_menu_and_delete_local_copy( file_name, notification) # Freeze some buttons (access/delete/text) self.set_state_after_deletion() # Owner changed access to file to Public status elif access == ACCESS.PUBLIC: # Add file to the end of list of files self.files_list.insert(END, file_name) notification = "another client opened access to file " + str( file_name) self.set_notification_status(notification) # OTHER FUNCTIONS ================================================================================== # Reset states after deletion def set_state_after_deletion(self): self.clear_text() self.block_delete_button() self.block_access_buttons() self.block_text_window() self.selected_file = None self.block_button_check_changes() # Delete file from menu and its local copy (if exists) def remove_file_from_menu_and_delete_local_copy(self, file_name, notification=None): ''' :param file_name: (string) file that should ne deleted :param notification: (string) optional param. Will update status bar, if the deletion was performed :return: (Boolean) True if file deletion was performed ''' wasFileRemoved = False files_in_menu = self.files_list.get(0, END) if file_name in files_in_menu: for index, file_in_menu in enumerate(files_in_menu): if file_name == file_in_menu: # Delete file from menu self.files_list.delete(index) # Update status bar if notification: self.set_notification_status(notification) wasFileRemoved = True break # Delete local copy of the file self.client.delete_local_file_copy(file_name) # Check if deleted file is currently opened in the text window if self.selected_file and self.selected_file == file_name: # Change states for some buttons (as after deletion) self.set_state_after_deletion() # Set prev. selected file to None to avoid conflicts (when user presses on keys) self.selected_file = None return wasFileRemoved
class PatchClampGUI(Frame): """ Simple GUI for the patch clamp robot. Controls: conect/disconnect robot (controller, arm, camera, amplifier and pump to be specified) Launch auto calibration Load previous calibration Set position to Zero Positionning pipette when left clicking on camera window Patch (and clamp if enable) at given position by right clicking on camera window Enable/disable clamp when right clicking Clamping Enable/disable pipette following the camera Enable/disable resistance metering Check pipette resistance for patch """ def __init__(self, master=None): Frame.__init__(self, master) # State variables self.pause = 0 self.calibrated = 0 # Variables for manipulator, microscope self.robot = None self.controller = None self.arm = None self.camera = None self.amplifier = None self.pump = None self.continuous = IntVar() self.follow = IntVar() # GUI # Connection to robot self.robot_box = LabelFrame(self, text='Connection') self.robot_box.grid(row=0, column=0, padx=5, pady=5) # Controller self.ask_controller = Label(self.robot_box, text='Controller: ') self.ask_controller.grid(row=0, column=0, padx=2, pady=2) self.controllist = ttk.Combobox(self.robot_box, state='readonly', values='SM5 SM10') self.controllist.grid(row=0, column=1, columnspan=2, padx=2, pady=2) # Arm self.ask_arm = Label(self.robot_box, text='Arm: ') self.ask_arm.grid(row=1, column=0, padx=2, pady=2) self.armlist = ttk.Combobox(self.robot_box, state='readonly', values='dev1 dev2 Arduino') self.armlist.grid(row=1, column=1, columnspan=2, padx=2, pady=2) # Camera self.ask_camera = Label(self.robot_box, text='Camera: ') self.ask_camera.grid(row=2, column=0, padx=2, pady=2) self.camlist = ttk.Combobox(self.robot_box, state='readonly', values='Hamamatsu Lumenera') self.camlist.grid(row=2, column=1, columnspan=2, padx=2, pady=2) # Amplifier self.ask_amp = Label(self.robot_box, text='Amplifier: ') self.ask_amp.grid(row=3, column=0, padx=2, pady=2) self.amplist = ttk.Combobox(self.robot_box, state='readonly', values='FakeAmplifier Multiclamp') self.amplist.grid(row=3, column=1, columnspan=2, padx=2, pady=2) # Pump for pressure control self.ask_pump = Label(self.robot_box, text='Pump: ') self.ask_pump.grid(row=4, column=0, padx=2, pady=2) self.pumplist = ttk.Combobox(self.robot_box, state='readonly', values='FakePump OB1') self.pumplist.grid(row=4, column=1, columnspan=2, padx=2, pady=2) # Connection button self.connection = Button(self.robot_box, text='Connect', command=self.connect, bg='green', fg='white') self.connection.grid(row=5, column=0, padx=2, pady=2) # disconnection button self.disconnection = Button(self.robot_box, text='Disconnect', command=self.disconnect, state='disable') self.disconnection.grid(row=5, column=1, padx=2, pady=2) # Top right frame self.tr = LabelFrame(self, bd=0) self.tr.grid(row=0, column=1, padx=2, pady=2) # Auto calibration self.calibrate_box = LabelFrame(self.tr, text='Calibration') self.calibrate_box.grid(row=0, column=0, padx=2, pady=2) # Begin calibration button self.calibrate = Button(self.calibrate_box, text='Calibrate', command=self.calibration, state='disable') self.calibrate.grid(row=0, column=0, padx=2, pady=2) # Load the previous calibration button self.load_calibrate = Button(self.calibrate_box, text='Load calibration', command=self.load_cali, state='disable') self.load_calibrate.grid(row=0, column=1, padx=2, pady=2) # Message to indicate if robot is calibrated or not self.calibrate_msg = Label(self.calibrate_box, text='Robot is NOT calibrated !', fg='red') self.calibrate_msg.grid(row=1, column=0, padx=2, pady=2, columnspan=3) # PUMP self.pump_box = LabelFrame(self.tr, text='Pressure controller') self.pump_box.grid(row=1, column=0, padx=2, pady=2) # Patch button self.patch = Button(self.pump_box, text='Seal', state='disable') self.patch.grid(row=0, column=0, padx=2, pady=2) # Clamp button self.clamp = Button(self.pump_box, text='Break-in', state='disable') self.clamp.grid(row=0, column=1, padx=2, pady=2) # Nearing button self.nearing = Button(self.pump_box, text='Nearing', state='disable') self.nearing.grid(row=0, column=2, padx=2, pady=2) # High pressure self.push = Button(self.pump_box, text='Push', state='disable') self.push.grid(row=0, column=3, padx=2, pady=2) # Clamp when right click on/off self.clamp_switch = Checkbutton(self.pump_box, text='Break-in when clicking', command=self.enable_clamp, state='disable') self.clamp_switch.grid(row=1, column=0, padx=2, pady=2, columnspan=2) # release button self.release = Button(self.pump_box, text='Release', state='disable') self.release.grid(row=1, column=2, padx=2, pady=2) # Control of amplifier self.meter_box = LabelFrame(self, text='Metering') self.meter_box.grid(row=1, column=1, padx=2, pady=2) # Selection of meter: potential or resistance self.chosen_meter = IntVar() self.choose_resistance = Radiobutton(self.meter_box, text='Resistance metering', variable=self.chosen_meter, value=1, command=self.switch_meter) self.choose_resistance.select() self.choose_resistance.grid(row=0, column=0, padx=2, pady=2) self.choose_potential = Radiobutton(self.meter_box, text='Potential metering', variable=self.chosen_meter, value=2, command=self.switch_meter) self.choose_potential.grid(row=0, column=1, padx=2, pady=2) # display resistance self.res_window = Label(self.meter_box, text='Resistance: ') self.res_window.grid(row=1, column=0, padx=2, pady=2) self.res_value = Label(self.meter_box, text='0 Ohm') self.res_value.grid(row=1, column=1, padx=2, pady=2) self.potential_window = Label(self.meter_box, text='Potential') self.potential_window.grid(row=2, column=0, padx=2, pady=2) self.potential_value = Label(self.meter_box, text='0 V') self.potential_value.grid(row=2, column=1, padx=2, pady=2) # Check the resistance of the pipette for patching button # continuous resistance metering on/off self.continuous_meter = Checkbutton( self.meter_box, text='Continuous metering', variable=self.continuous, command=self.switch_continuous_meter, state='disable') self.continuous_meter.grid(row=3, column=0, padx=2, pady=2) self.check_pipette_resistance = Button(self.meter_box, text='Check pipette', command=self.init_patch_clamp, state='disable') self.check_pipette_resistance.grid(row=3, column=1, padx=2, pady=2) # Other controls self.misc = LabelFrame(self, text='misc') self.misc.grid(row=1, column=0, padx=2, pady=2) # reset postion self.zero = Button(self.misc, text='Go to zero', command=self.reset_pos, state='disable') self.zero.grid(row=0, column=0, padx=2, pady=2) # Save position self.save_pos = Button(self.misc, text='Save position', state='disable') self.save_pos.grid(row=0, column=1, padx=2, pady=2) # Pipette follow camera on/off self.switch_follow = Checkbutton(self.misc, text='Following', command=self.following, variable=self.follow, state='disable') self.switch_follow.grid(row=1, column=0, padx=2, pady=2) self.offset_slide = Scale(self.misc, from_=0, to=20, orient=HORIZONTAL) self.offset_slide.set(2) self.offset_slide.grid(row=1, column=1, padx=2, pady=2) self.follow_paramecia = IntVar() self.paramecia = Checkbutton(self.misc, text='paramecia', variable=self.follow_paramecia, command=self.switch_follow_paramecia, state='disable') self.paramecia.grid(row=2, column=0, padx=2, pady=2) self.screenshots = Button(self.misc, text='Screenshot', state='disable') self.screenshots.grid(row=2, column=1, padx=2, pady=2) # Messages zone self.text_zone = ScrolledText(master=self, width=60, height=10, state='disabled') self.text_zone.grid(row=2, column=0, columnspan=3) # Quit button self.QUIT = Button(self, text='QUIT', bg='orange', fg='white', command=self.exit) self.QUIT.grid(row=3, column=0, padx=2, pady=2) # Stop button self.emergency_stop = Button(self, text='STOP', bg='red', fg='white', command=self.stop_moves) self.emergency_stop.grid(row=3, column=1, padx=2, pady=2) self.message = '' self.pack() def connect(self): """ Connect to the robot """ # Devices to connect to self.controller = self.controllist.get() self.arm = self.armlist.get() self.amplifier = self.amplist.get() self.pump = self.pumplist.get() self.camera = self.camlist.get() # Checking primordial devices have been specified: controller, arm and camera if not self.controller: showerror('Connection error', 'Please specify a controller.') elif not self.arm: showerror('Connection error', 'Please specify a device for the arm.') elif not self.camera: showerror('Connection error', 'Please specify a camera.') else: # Connection to the robot self.robot = PatchClampRobot(self.controller, self.arm, self.camera, self.amplifier, self.pump, False) # Setting messages self.message = self.robot.message # Disable connection buttons and lists self.controllist['state'] = 'disabled' self.armlist['state'] = 'disabled' self.amplist['state'] = 'disabled' self.camlist['state'] = 'disabled' self.pumplist['state'] = 'disabled' self.connection.config(state='disable') # Activate all the others buttons self.load_calibrate.config(state='normal') self.calibrate.config(state='normal') self.zero.config(state='normal') self.disconnection.config(state='normal') self.continuous_meter.config(state='normal') self.check_pipette_resistance.config(state='normal') self.patch.config(state='normal', command=self.robot.pressure.seal) self.release.config(state='normal', command=self.robot.pressure.release) self.nearing.config(state='normal', command=self.robot.pressure.nearing) self.push.config(state='normal', command=self.robot.pressure.high_pressure) self.clamp.config(state='normal', command=self.robot.clamp) self.clamp_switch.config(state='normal') self.switch_follow.config(state='normal') self.save_pos.config(state='normal', command=self.robot.save_position) self.paramecia.config(state='normal') self.screenshots.config(state='normal', command=self.robot.save_img) # Checking changes of robot messages and display them self.check_message() pass def disconnect(self): """ Disconnect the robot. For now reconnection doesn't work (controller not really disconnected) :return: """ # stoping threads linked to the robot self.robot.stop() del self.robot self.robot = None # Disable all buttons and enable connection buttons self.calibrate.config(state='disable') self.load_calibrate.config(state='disable') self.zero.config(state='disable') self.controllist['state'] = 'readonly' self.armlist['state'] = 'readonly' self.amplist['state'] = 'readonly' self.camlist['state'] = 'readonly' self.pumplist['state'] = 'readonly' self.connection.config(state='normal') self.disconnection.config(state='disable') self.check_pipette_resistance.config(state='disable') self.clamp.config(state='disable', command=None) self.patch.config(state='disable', command=None) self.release.config(state='disable', command=None) self.nearing.config(state='disable', command=None) self.push.config(state='disable', command=None) self.save_pos.config(state='disable', command=None) self.clamp_switch.config(state='disable') self.switch_follow.config(state='disable') pass def calibration(self): """ Launch auto calibration :return: """ if self.robot: # Connection to the robot has been established if askokcancel( 'Calibrating', 'Please put the tip of the pipette in focus and at the center of the image.', icon=INFO): # Pipette in focus and centered: calibrating self.robot.event['event'] = 'Calibration' self.wait_calibration() pass def wait_calibration(self): if self.robot.event['event'] == 'Calibration': self.after(10, self.wait_calibration) elif self.robot.calibrated: self.calibrate_msg.config(text='Robot calibrated', fg='black') def load_cali(self): """ Loads previous calibration :return: """ if self.robot: # Connection to the robot has been established if askokcancel( 'Loading calibration', 'Please put the tip of the pipette in focus and at the center of the image.', icon=INFO): # Pipette in focus and centered: loading calibration self.robot.load_calibration() if self.robot.calibrated: self.calibrate_msg.config(text='Robot calibrated', fg='black') pass def reset_pos(self): """ Reset position to null position :return: """ if self.robot: self.robot.go_to_zero() pass def get_res(self): """ Retrieve the resistance metered by robot. :return: """ if self.robot: # Connection of robot established self.res_value['text'] = self.robot.get_resistance(res_type='text') with open('Resistance.txt', 'at') as f: f.write(str(self.robot.get_resistance()) + '\n') if self.continuous.get(): # Retrieving continuoulsy enabled if (self.chosen_meter.get() == 1) | ( self.robot.amplifier.get_meter_resist_enable()): self.choose_resistance.select() self.after(10, self.get_res) elif (self.chosen_meter.get() == 2) | ( not self.robot.amplifier.get_meter_resist_enable()): self.choose_potential.select() self.after(10, self.get_pot) pass def get_pot(self): """ Retrieve the resistance metered by robot. :return: """ if self.robot: # Connection of robot established self.potential_value['text'] = self.robot.get_potential( res_type='text') if self.continuous.get(): # Retrieving continuoulsy enabled if (self.chosen_meter.get() == 1) | ( self.robot.amplifier.get_meter_resist_enable()): self.choose_resistance.select() self.after(10, self.get_res) elif (self.chosen_meter.get() == 2) | ( not self.robot.amplifier.get_meter_resist_enable()): self.choose_potential.select() self.after(10, self.get_pot) pass def init_patch_clamp(self): """ Checks if conditions for patching are met (pipette resistance) :return: """ if self.robot: # Connection of robot established self.choose_resistance.select() if self.robot.init_patch_clamp(): # Conditions are met, enable continous resistance metering self.continuous_meter.select() self.choose_resistance.select() self.switch_continuous_meter() file_res = open('Resistance.txt', 'wt') file_res.close() pass def enable_clamp(self): """ Enable/disable calmp when right clicking on the camera window :return: """ if self.robot: # Connection of robot established self.robot.enable_clamp ^= 1 pass def switch_continuous_meter(self): """ Enable/Disable continuous resistance metering :return: """ if self.robot: if self.continuous.get(): # Continuous metering button is checked, activate continuous metering self.robot.set_continuous_meter(True) if self.chosen_meter.get() == 1: self.get_res() elif self.chosen_meter.get() == 2: self.get_pot() else: # Continuous metering button unchecked, deactivate continuous metering self.robot.set_continuous_meter(False) pass def switch_meter(self): if self.robot: if self.chosen_meter.get() == 1: self.robot.amplifier.meter_resist_enable(True) elif self.chosen_meter.get() == 2: self.robot.amplifier.meter_resist_enable(False) def following(self): """ Enable/disable pipette following the camera :return: """ if self.robot: # Connection of robot established, enable folowing if follow button is checked self.robot.following = self.follow.get() pass def switch_follow_paramecia(self): if self.robot: self.robot.follow_paramecia = self.follow_paramecia.get() def check_message(self): """ Retrieve messages from robot and display them when they change :return: """ if self.robot: # Connection of robot established self.robot.offset = self.offset_slide.get() if self.message != self.robot.message: # Message memory is different from actual robot message self.message = self.robot.message if self.message[:5] == 'ERROR': # The new message is an error, display the message in a new window showerror('ERROR', self.message) # Activate the message zone, write the message and deactivate message zone (thus make a read only) self.text_zone.config(state='normal') self.text_zone.insert(INSERT, self.message + '\n') self.text_zone.config(state='disabled') self.text_zone.see(END) # Update memory and actual message: if same messages follow each other, both are retrieve self.message = '' self.robot.message = '' # Check again in 10ms self.after(10, self.check_message) pass def stop_moves(self): if self.robot: self.robot.arm.stop() self.robot.microscope.stop() def exit(self): """ Close GUI and all threads :return: """ if self.robot: # Connection of robot established, disconnecting self.robot.stop() del self.robot # quit GUI self.quit()
class skulltagBotWindow(Frame): def __init__(self, args='', parent=None): Frame.__init__(self, parent) self.args = args self.flags = [0,0,0,0,0] self.history = [] self.players = {'amount': 0} self.historyMarker = 0 self.playerinfoRE = re.compile("([0-9]+)\. ([^%]+?) - IP \(([0-9\.]+:[0-9]+)\)") for flag, index in (('+dmflags', 0), ('+dmflags2', 1), ('+dmflags3', 2), ('+compatflags', 3), ('+compatflags2', 4)): if flag in self.args: try: self.flags[index] = int(self.args[self.args.index(flag)+1]) except: pass self.outputText = ScrolledText() self.outputText.config(state=DISABLED) self.outputText.pack(expand=1, fill='both', anchor='n') self.inputTextText = StringVar() self.inputText = Entry(textvariable=self.inputTextText) self.inputText.bind('<Return>', self.writeLine) self.inputText.bind('<Up>', self.upOneHist) self.inputText.bind('<Down>', self.downOneHist) self.inputText.pack(fill='x', anchor='s') self.outputText.tk.call('tk', 'scaling', 1) self.outputQueue = Queue.Queue() # just to be orderly self.inputQueue = Queue.Queue() # same self.inQLock = thread.allocate_lock() # well durrrrrr self.outQLock = thread.allocate_lock() thread.start_new(self.startSkulltag, (None,)) self.pack() def startSkulltag(self, deadArg): self.skulltag = subprocess.Popen(['/usr/games/skulltag/skulltag-server', '+sv_markchatlines 1']+self.args, stdin=subprocess.PIPE, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, bufsize=0) self.stdinPoll = select.poll() self.stdinPoll.register(self.skulltag.stdout, select.POLLIN) self.stdoutPoll = select.poll() self.stdoutPoll.register(self.skulltag.stdout, select.POLLOUT) thread.start_new(self.rwLoop, (None,)) def rwLoop(self, deadArg): self.readLine() try: #check for input output = self.inputQueue.get(block=0) except Queue.Empty: pass else: self.inQLock.acquire() self.outputText.config(state=NORMAL) self.outputText.insert(END, output) #put it in the main window self.outputText.scan_mark(100000, 1) self.outputText.scan_dragto(10, 1) try: lscbot = stbehaviour.LSCParserBot(output, copy.deepcopy(self.players), *self.flags[:]) chatText = lscbot.get() if chatText[0]: self.skulltag.stdin.flush() self.skulltag.stdin.write("say " + chatText[0] + '\n') self.flags = chatText[2:] except: import traceback print "%s\n%s" % (sys.exc_info()[0], sys.exc_info()[1]) print traceback.print_tb(sys.exc_info()[2]) self.cquit() self.outputText.config(state=DISABLED) self.inQLock.release() try: #now for output output = self.outputQueue.get(block=0) except Queue.Empty: pass else: self.outQLock.acquire() self.skulltag.stdin.write(output) self.skulltag.stdin.flush() self.outQLock.release() self.after(5, self.rwLoop, (None,)) def readLine(self): output = '' scrollAmount = 0 if self.skulltag.poll(): output = '\n\n - Terminated - ' sys.exit() else: pollin = self.stdinPoll.poll(1) while pollin: pollin = pollin[0] if pollin[1] == 1: self.skulltag.stdout.flush() output += self.skulltag.stdout.readline() scrollAmount += 1 pollin = self.stdinPoll.poll(1) if output == 'NETWORK_LaunchPacket: Permission denied\n' or output == 'NETWORK_LaunchPacket: Address 192.168.1.255:15101\n': output = '' if output: self.outputText.yview_scroll(16*((len(output)/80)+1)+(scrollAmount*16), 'pixels') self.inputQueue.put(output) def upOneHist(self, deadArg): if self.historyMarker <= -len(self.history): return self.historyMarker -= 1 self.inputText.delete(0, END) self.inputText.insert(END, self.history[self.historyMarker]) def downOneHist(self, deadArg): if self.historyMarker >= -1: self.inputText.delete(0, END) self.historyMarker = 0 return self.historyMarker += 1 self.inputText.delete(0, END) self.inputText.insert(END, self.history[self.historyMarker]) def writeLine(self, deadArg): self.inputText.insert(END, ' ') output = self.inputTextText.get() self.history += [output[:-1]] self.historyMarker = 0 if output[0] == ':': output = 'say ' + output[1:] if output.strip() == 'reset_lscbot': self.inputText.delete(0, END) self.skulltag.stdin.write("say Resetting the LSC Bot - should be a second\n") self.skulltag.stdin.flush() reload(stbehaviour) self.skulltag.stdin.write("say or less\n") self.skulltag.stdin.flush() else: self.inputText.delete(0, END) self.outputQueue.put(output) def cquit(self): for i in range(32): self.skulltag.stdin.write("kick_idx %s \" -- Server quit by host -- \"\n" % (i + 1)) self.skulltag.stdin.flush() self.skulltag.stdin.write("error_fatal \"-- Server quit by host --\"") time.sleep(1) self.skulltag.terminate() self.quit()
import pyautogui lineColPosList=[] def callback(event): lineColPosList = textPad.index(CURRENT).split('.') print textPad.index(CURRENT) status["text"]="Line" + lineColPosList[0] + " Column " + lineColPosList[1] root = tk.Tk(className="Intelligent Code Editor") textPad = ScrolledText(root, width=500, height=100,fg="white",bg="black") textPad.config(font=("Arial",15),insertbackground="white") lineColPosList = textPad.index(CURRENT).split('.') textPad.bind("<Button-1>", callback) textPad.bind("<Key>", callback) textPad.focus() status = Label(root, text="Line" + lineColPosList[0] + " Column " + lineColPosList[1], bd=1, relief=SUNKEN, anchor=W) status.pack(side=BOTTOM, fill=X) def replaceText(inputText): inputText = inputText.replace('of','[]') inputText = inputText.replace('function','') inputText = inputText.replace('increment','') inputText = inputText.replace('initialize','') inputText = inputText.replace('condition','') inputText = inputText.replace('math','')
def initialisation(self): global input_pipe global output_pipe if len(sys.argv) > 2: print 'output_pipe : ', output_pipe global ChaineALire global st global fp global sortieTube global entreeTube def click_python(event): st.insert(END, '\nVous avez cliquez sur Python') def affiche_message(): global output_pipe message = entre.get() #openning the OUTPUT pipe if len(sys.argv ) > 2: #if an output pipe was given as the second argument try: assert output_pipe != '' #opening the pipe try: entreeTube = os.open(output_pipe, os.O_WRONLY) if entreeTube == -1: raise ValueError os.write(entreeTube, message) #st.insert(END,'\n'+message,'rouge') except ValueError: showerror('Error', "Could not open Output pipe") except AssertionError: showerror("Error", "You must choose an output pipe first") output_pipe = tkFileDialog.askopenfilename( title='Choose the output pipe to open', defaultextension='.fifo') texte = """ Welcome in GUI for ARINC 653 Partition """ #on cree un fenetre principale 'fp' a� partir du 'modele' Tk #fp = Tk() #self.title('ARINC 653 function') self.title('ARINC 653 function : ' + sys.argv[3]) #Creation d'un panneau 'menu_top' insere dans 'fp' menu_top = Frame(self, borderwidth=2) menu_top.pack(side='bottom', fill='x') #Creation d'une etiquette inseree dans 'menu_top' etiquette = Label(menu_top, text='Commande : ') etiquette.pack(side='left') #Creation d'un boutton dans 'menu_top' b = Button(menu_top, text='execute', command=affiche_message) b.pack(side='right') #Creation d'un boite d'edition dans 'nenu_top' entre = Entry(menu_top, width=20, relief='sunken') entre.insert(END, 'Texte a afficher') entre.pack(side='left', fill='x', expand='true') #Declaration du texte deroulant dans 'fp' st = ScrolledText(self) st.pack(expand=1, fill='both', side='top') #on insete le texte 'texte' dans le widget 'texte deroulant' nomme 'st' st.insert(END, texte) #on applique a� tout le texte la police par defaut st.config(font='Arial 12 bold') st.config(foreground='Black') #on configure le fond du 'texte derouant' if ((sys.argv[3] == "Master") or (sys.argv[3] == "Partition1") or (sys.argv[3] == "Primary")): st.config(background='LightYellow') elif ((sys.argv[3] == "Slave") or (sys.argv[3] == "Partition2") or (sys.argv[3] == "Backup")): st.config(background='LightGreen') #e = Entry(st,width=25) elif ((sys.argv[3] == "Leica") or (sys.argv[3] == "Partition3") or (sys.argv[3] == "Capteur")): st.config(background='misty rose') else: st.config(background='PeachPuff') try: assert input_pipe != '' except AssertionError: showerror('Info', "choisissez un chemin de tube") input_pipe = tkFileDialog.askopenfilename( title='Choose the input pipe to open', defaultextension='.fifo') #openning the INPUT pipe try: assert input_pipe != '' try: # sortieTube = os.open(input_pipe+nomTube,os.O_RDONLY|os.O_NONBLOCK) sortieTube = os.open(input_pipe, os.O_RDONLY) if sortieTube == -1: raise ValueError except ValueError: showerror('Error', "fail to open the Input pipe's output") except AssertionError: showerror("Error", "You must choose a pipe first") #openning the OUTPUT pipe if len(sys.argv ) > 2: #if an output pipe was given as the second argument try: assert output_pipe != '' #opening the pipe try: entreeTube = os.open(output_pipe, os.O_WRONLY) if entreeTube == -1: raise ValueError except ValueError: showerror('Error', "Could not open Output pipe") except AssertionError: showerror("Error", "You must choose an output pipe first") output_pipe = tkFileDialog.askopenfilename( title='Choose the output pipe to open', defaultextension='.fifo') #Positionnement de la fenetre dans l'ecran ScreenSizeX = self.winfo_screenwidth() # Get screen width [pixels] ScreenSizeY = self.winfo_screenheight() # Get screen height [pixels] CorrectionX = 30 CorrectionY = 30 FrameSizeX = int(ScreenSizeX * 0.5) - CorrectionX FrameSizeY = int(ScreenSizeY * 0.5) - CorrectionY if ((sys.argv[3] == "Master") or (sys.argv[3] == "Partition1")): # Find left and up border of window FramePosX = 0 FramePosY = 0 elif ((sys.argv[3] == "Slave") or (sys.argv[3] == "Partition2")): FramePosX = 0 FramePosY = ScreenSizeY / 2 + CorrectionY elif sys.argv[3] == "Scao": FramePosX = ScreenSizeX / 2 + CorrectionX FramePosY = 0 else: FramePosX = ScreenSizeX / 2 + CorrectionX FramePosY = ScreenSizeY / 2 + CorrectionY self.geometry("%sx%s+%s+%s" % (FrameSizeX, FrameSizeY, FramePosX, FramePosY))
class ChatClient(Frame): def __init__(self, root): Frame.__init__(self, root) self.root = root self.initUI() self.serverSoc = None self.serverStatus = 0 self.buffsize = 1024 self.allClients = {} self.counter = 0 def initUI(self): self.root.title("Simple P2P Chat Client") ScreenSizeX = self.root.winfo_screenwidth() ScreenSizeY = self.root.winfo_screenheight() self.FrameSizeX = 690 self.FrameSizeY = 690 FramePosX = (ScreenSizeX - self.FrameSizeX)/2 FramePosY = (ScreenSizeY - self.FrameSizeY)/2 self.root.geometry("%sx%s+%s+%s" % (self.FrameSizeX,self.FrameSizeY,FramePosX,FramePosY)) self.root.resizable(width=False, height=False) padX = 10 padY = 10 parentFrame = Frame(self.root) parentFrame.grid(padx=padX, pady=padY, stick=E+W+N+S) ipGroup = Frame(parentFrame) serverLabel = Label(ipGroup, text="Set: ") self.nameVar = StringVar() self.nameVar.set("Username") nameField = Entry(ipGroup, width=20, textvariable=self.nameVar) self.serverIPVar = StringVar() self.serverIPVar.set("127.0.0.1") serverIPField = Entry(ipGroup, width=15, textvariable=self.serverIPVar) self.serverPortVar = StringVar() self.serverPortVar.set("8090") serverPortField = Entry(ipGroup, width=5, textvariable=self.serverPortVar) serverSetButton = Button(ipGroup, text="Set", width=10, command=self.handleSetServer) addClientLabel = Label(ipGroup, text="Add friend: ") self.clientIPVar = StringVar() self.clientIPVar.set("127.0.0.1") clientIPField = Entry(ipGroup, width=15, textvariable=self.clientIPVar) self.clientPortVar = StringVar() self.clientPortVar.set("8090") clientPortField = Entry(ipGroup, width=5, textvariable=self.clientPortVar) clientSetButton = Button(ipGroup, text="Add", width=10, command=self.handleAddClient) serverLabel.grid(row=0, column=0) nameField.grid(row=0, column=1) serverIPField.grid(row=0, column=2) serverPortField.grid(row=0, column=3) serverSetButton.grid(row=0, column=4, padx=5) addClientLabel.grid(row=0, column=5) clientIPField.grid(row=0, column=6) clientPortField.grid(row=0, column=7) clientSetButton.grid(row=0, column=8, padx=5) readChatGroup = Frame(parentFrame) self.profil = ScrolledText(readChatGroup, bg="white", width=50, height=10, state=DISABLED) self.receivedChats = ScrolledText(readChatGroup, bg="white", width=55, height=20, state=DISABLED) self.friends = Listbox(readChatGroup, bg="white", width=30, height=20) self.profil.pack(fill=X, pady=5) self.receivedChats.pack(padx=0, pady=10, side=LEFT) self.friends.pack(padx=5, pady=10, side=LEFT) writeChatGroup = Frame(parentFrame) self.chatVar = StringVar() self.chatField = Entry(writeChatGroup, width=90, textvariable=self.chatVar) sendChatButton = Button(writeChatGroup, text="Kirim", width=15, command=self.handleSendChat) self.chatField.grid(row=0, column=0, sticky=W) sendChatButton.grid(row=0, column=1, padx=5) self.statusLabel = Label(parentFrame) bottomLabel = Label(parentFrame, text="Modified By CREVION - PTIIK") ipGroup.grid(row=0, column=0) readChatGroup.grid(row=1, column=0) writeChatGroup.grid(row=2, column=0, pady=10) self.statusLabel.grid(row=3, column=0) bottomLabel.grid(row=4, column=0, pady=10) self.profil.config(state=NORMAL) self.profil.insert("end","Profil :\n\n") self.profil.config(state=DISABLED) def handleSetServer(self): if self.serverSoc != None: self.serverSoc.close() self.serverSoc = None self.serverStatus = 0 serveraddr = (self.serverIPVar.get().replace(' ',''), int(self.serverPortVar.get().replace(' ',''))) try: self.serverSoc = socket.socket(socket.AF_INET, socket.SOCK_STREAM) self.serverSoc.bind(serveraddr) self.serverSoc.listen(5) self.setStatus("Server listening on %s:%s" % serveraddr) thread.start_new_thread(self.listenClients,()) self.serverStatus = 1 self.name = self.nameVar.get().replace(' ','') if self.name == '': self.name = "%s:%s" % serveraddr except: self.setStatus("Error setting up server") def listenClients(self): while 1: clientsoc, clientaddr = self.serverSoc.accept() self.setStatus("Client connected from %s:%s" % clientaddr) self.addClient(clientsoc, clientaddr) self.profil.config(state=NORMAL) try: data = clientsoc.recv(self.buffsize) if not data: break self.profil.insert("end","%s\n\n" % data) except: break self.profil.config(state=DISABLED) x = open("profil.txt", "r") semua = x.read() clientsoc.send(self.serverIPVar.get()+"("+self.nameVar.get()+") Terhubung"+"\n"+semua) thread.start_new_thread(self.handleClientMessages, (clientsoc, clientaddr)) self.serverSoc.close() def handleAddClient(self): if self.serverStatus == 0: self.setStatus("Set server address first") return clientaddr = (self.clientIPVar.get().replace(' ',''), int(self.clientPortVar.get().replace(' ',''))) try: clientsoc = socket.socket(socket.AF_INET, socket.SOCK_STREAM) clientsoc.connect(clientaddr) self.setStatus("Connected to client on %s:%s" % clientaddr) self.addClient(clientsoc, clientaddr) x = open("profil.txt", "r") semua = x.read() clientsoc.send(self.serverIPVar.get()+"("+self.nameVar.get()+") Terhubung"+"\n"+semua) self.profil.config(state=NORMAL) data = clientsoc.recv(self.buffsize) self.profil.insert("end","%s\n\n" % data) self.profil.config(state=DISABLED) thread.start_new_thread(self.handleClientMessages, (clientsoc, clientaddr)) except: self.setStatus("Error connecting to client") def handleClientMessages(self, clientsoc, clientaddr): while 1: try: data = clientsoc.recv(self.buffsize) if not data: break self.addChat("%s:%s" % clientaddr, data) except: break self.removeClient(clientsoc, clientaddr) clientsoc.close() self.setStatus("Client disconnected from %s:%s" % clientaddr) def handleSendChat(self): if self.serverStatus == 0: self.setStatus("Set server address first") return msg = self.nameVar.get()+" : "+self.chatVar.get().replace(' ',' ') if msg == '': return for client in self.allClients.keys(): client.send(msg) msg = "(saya)"+self.nameVar.get()+" : "+self.chatVar.get().replace(' ',' ') self.addChat("halo",msg) def addChat(self, client, msg): self.receivedChats.config(state=NORMAL) self.receivedChats.insert("end",msg+"\n") self.receivedChats.config(state=DISABLED) def addClient(self, clientsoc, clientaddr): self.allClients[clientsoc]=self.counter self.counter += 1 self.friends.insert(self.counter,"%s:%s" % clientaddr) def removeClient(self, clientsoc, clientaddr): print self.allClients self.friends.delete(self.allClients[clientsoc]) del self.allClients[clientsoc] print self.allClients def setStatus(self, msg): self.statusLabel.config(text=msg) print msg
def initialisation(self): global input_pipe global output_pipe if len(sys.argv) > 2: print 'output_pipe : ', output_pipe global ChaineALire global st global fp global colorbox global sortieTube global entreeTube texte = """ Welcome in GUI for ARINC 653 emulator """ #on cree un fenetre principale 'fp' a� partir du 'modele' Tk #fp = Tk() self.title('ARINC 653 Partition') #Declaration du texte deroulant dans 'fp' st = ScrolledText(self, wrap="word") st.grid(column=1, columnspan=2, rowspan=2, sticky='nw') #Creation d'un panneau 'menu_bottom' insere dans 'fp' # menu_bottom = Frame(self,borderwidth=2) # menu_bottom.grid(column=1,columnspan=3,sticky='sw') ##Creation d'une etiquette inseree dans 'menu_bottom' #etiquette = Label(menu_bottom,text = 'Commande : ') #etiquette.grid(row=1,column=1,sticky='w') ##Creation d'un boutton dans 'menu_bottom' #b = Button(menu_bottom,text='execute',command=self.affiche_commande) #b.grid(row=1,column=3,sticky='e') ##Creation d'un boite d'edition dans 'nenu_top' #entre = Entry(menu_bottom,width=20,relief='sunken') #entre.insert(END,'Texte a afficher') #entre.grid(row=1,column=2,sticky='ew') #Creation d'une etiquette inseree etiquette = Label(self, text='Command : ') etiquette.grid(row=2, column=0, sticky='w') #Creation d'un boutton b = Button(self, text='execute', command=self.affiche_commande) b.grid(row=2, column=2, sticky='e') #Creation d'un boite d'edition dans 'nenu_top' entre = Entry(self, width=20, relief='sunken') entre.insert(END, 'Text to send') entre.grid(row=2, column=1, sticky='ew') partitionbox = Label(self, text='Active partition : ') partitionbox.grid(column=0, row=0, sticky='n') self.labelVariable = StringVar() self.backcolorlabel = StringVar() self.frontcolorlabel = StringVar() self.backcolorlabel = "LightBlue" self.frontcolorlabel = "Black" label = Label(self, textvariable=self.labelVariable, anchor="w", fg=self.frontcolorlabel, bg=self.backcolorlabel, height=28) label.grid(column=0, row=1, sticky='EW') #on insete le texte 'texte' dans le widget 'texte deroulant' nomme 'st' st.insert(END, texte) #on applique a� tout le texte la police par defaut st.config(font='Arial 12') st.config(foreground='Black') #on configure le fond du 'texte derouant' st.config(background='LightBlue') #e = Entry(st,width=25) self.grid_columnconfigure(1, weight=1) self.rowconfigure(1, weight=1) self.resizable(False, True) self.update() self.geometry(self.geometry()) try: assert input_pipe != '' except AssertionError: showerror('error', "no pipe choosed") input_pipe = tkFileDialog.askopenfilename( title='Choose the input pipe to open', defaultextension='.fifo') #openning the INPUT pipe try: assert input_pipe != '' try: # sortieTube = os.open(input_pipe+nomTube,os.O_RDONLY|os.O_NONBLOCK) sortieTube = os.open(input_pipe, os.O_RDONLY) if sortieTube == -1: raise ValueError except ValueError: showerror('Error', "fail to open the Input pipe's output") except AssertionError: showerror("Error", "You must choose a pipe first") #openning the OUTPUT pipe if len(sys.argv ) > 2: #if an output pipe was given as the second argument try: assert output_pipe != '' #opening the pipe try: entreeTube = os.open(output_pipe, os.O_WRONLY) if entreeTube == -1: raise ValueError except ValueError: showerror('Error', "Could not open Output pipe") except AssertionError: showerror("Error", "You must choose an output pipe first") output_pipe = tkFileDialog.askopenfilename( title='Choose the output pipe to open', defaultextension='.fifo')
def initialisation(self): global input_pipe global output_pipe if len(sys.argv) > 2 : print 'output_pipe : ', output_pipe global ChaineALire global st global fp global sortieTube global entreeTube def click_python(event): st.insert(END,'\nVous avez cliquez sur Python') def affiche_message(): global output_pipe message = entre.get() #openning the OUTPUT pipe if len(sys.argv) > 2 : #if an output pipe was given as the second argument try: assert output_pipe != '' #opening the pipe try : entreeTube = os.open(output_pipe,os.O_WRONLY) if entreeTube == -1 : raise ValueError os.write(entreeTube,message) #st.insert(END,'\n'+message,'rouge') except ValueError : showerror('Error', "Could not open Output pipe") except AssertionError: showerror("Error", "You must choose an output pipe first") output_pipe = tkFileDialog.askopenfilename(title='Choose the output pipe to open', defaultextension ='.fifo') texte = """ Welcome in GUI for ARINC 653 Partition """ #on cree un fenetre principale 'fp' a� partir du 'modele' Tk #fp = Tk() #self.title('ARINC 653 function') self.title('ARINC 653 function : ' + sys.argv[3]) #Creation d'un panneau 'menu_top' insere dans 'fp' menu_top = Frame(self,borderwidth=2) menu_top.pack(side='bottom',fill='x') #Creation d'une etiquette inseree dans 'menu_top' etiquette = Label(menu_top,text = 'Commande : ') etiquette.pack(side = 'left') #Creation d'un boutton dans 'menu_top' b = Button(menu_top,text='execute',command=affiche_message) b.pack(side='right') #Creation d'un boite d'edition dans 'nenu_top' entre = Entry(menu_top,width=20,relief='sunken') entre.insert(END,'Texte a afficher') entre.pack(side='left',fill='x',expand='true') #Declaration du texte deroulant dans 'fp' st = ScrolledText(self) st.pack(expand=1,fill='both',side='top') #on insete le texte 'texte' dans le widget 'texte deroulant' nomme 'st' st.insert(END,texte) #on applique a� tout le texte la police par defaut st.config(font = 'Arial 12 bold') st.config(foreground='Black') #on configure le fond du 'texte derouant' if ((sys.argv[3] == "Master") or (sys.argv[3] == "Partition1")or (sys.argv[3] == "Primary")): st.config(background='LightYellow') elif ((sys.argv[3] =="Slave") or (sys.argv[3] == "Partition2")or (sys.argv[3] == "Backup")): st.config(background='LightGreen') #e = Entry(st,width=25) elif ((sys.argv[3] =="Leica") or (sys.argv[3] == "Partition3")or (sys.argv[3] == "Capteur")): st.config(background='misty rose') else: st.config(background='PeachPuff') try: assert input_pipe != '' except AssertionError: showerror('Info', "choisissez un chemin de tube") input_pipe = tkFileDialog.askopenfilename(title='Choose the input pipe to open', defaultextension ='.fifo') #openning the INPUT pipe try: assert input_pipe != '' try : # sortieTube = os.open(input_pipe+nomTube,os.O_RDONLY|os.O_NONBLOCK) sortieTube = os.open(input_pipe,os.O_RDONLY) if sortieTube == -1 : raise ValueError except ValueError : showerror('Error', "fail to open the Input pipe's output") except AssertionError: showerror("Error", "You must choose a pipe first") #openning the OUTPUT pipe if len(sys.argv) > 2 : #if an output pipe was given as the second argument try: assert output_pipe != '' #opening the pipe try : entreeTube = os.open(output_pipe,os.O_WRONLY) if entreeTube == -1 : raise ValueError except ValueError : showerror('Error', "Could not open Output pipe") except AssertionError: showerror("Error", "You must choose an output pipe first") output_pipe = tkFileDialog.askopenfilename(title='Choose the output pipe to open', defaultextension ='.fifo') #Positionnement de la fenetre dans l'ecran ScreenSizeX = self.winfo_screenwidth() # Get screen width [pixels] ScreenSizeY = self.winfo_screenheight() # Get screen height [pixels] CorrectionX = 30 CorrectionY = 30 FrameSizeX = int(ScreenSizeX * 0.5) - CorrectionX FrameSizeY = int(ScreenSizeY * 0.5) - CorrectionY if ((sys.argv[3] == "Master") or (sys.argv[3] == "Partition1")) : # Find left and up border of window FramePosX = 0 FramePosY = 0 elif ((sys.argv[3] == "Slave") or (sys.argv[3] == "Partition2")) : FramePosX = 0 FramePosY = ScreenSizeY/2 + CorrectionY elif sys.argv[3] =="Scao": FramePosX = ScreenSizeX/2 + CorrectionX FramePosY = 0 else: FramePosX = ScreenSizeX/2 + CorrectionX FramePosY = ScreenSizeY/2 + CorrectionY self.geometry("%sx%s+%s+%s"%(FrameSizeX,FrameSizeY,FramePosX,FramePosY))
class Textee: def __init__(self, master): self.master = master self.theme = 'dark' # the startup will always be opposite self.options = TexteeOptions() self.status_bar = TexteeStatusBar(master) self.create_menu(master) self.create_ui(master) self.set_bindings(master) self.file = None self.find_text = '' self.font_dialog = None self.find_and_replace_dialog = None self.windows = [] def create_menu(self, master): self.menu = Menu(master) master.config(menu=self.menu) filemenu = Menu(self.menu) self.menu.add_cascade(label="File", menu=filemenu) filemenu.add_command(label="New", command=self.new_file) filemenu.add_command(label="Open...", command=self.open_file) filemenu.add_command(label="Save", command=self.save_file) filemenu.add_command(label="Save As", command=lambda: self.save_file(save_as=True)) filemenu.add_separator() filemenu.add_command(label="New window", command=self.new_window) filemenu.add_separator() filemenu.add_command(label="Print", command=self.printer) filemenu.add_separator() filemenu.add_command(label="Exit", command=self.exit) editmenu = Menu(self.menu) self.menu.add_cascade(label='Edit', menu=editmenu) editmenu.add_command(label='Copy', command=lambda: event_generate(self.editor, 'Copy')) editmenu.add_command(label='Paste', command=lambda: event_generate(self.editor, 'Paste')) editmenu.add_command(label='Undo', command=lambda: event_generate(self.editor, 'Undo')) editmenu.add_separator() editmenu.add_command(label='Goto', command=self.goto_line) # need to develop custom find with regex editmenu.add_command(label='Find', command=self.find) # need to develop custom find with regex editmenu.add_command(label='Find & Replace', command=self.find_and_replace) # need to test the replace logic in separate playground editmenu.add_separator() editmenu.add_command(label='Check spelling', command=self.spell_check) # need to see how to use system's grammer check.. if not possible remove it. formatmenu = Menu(self.menu) self.menu.add_cascade(label='Format', menu=formatmenu) formatmenu.add_command(label='Font', command=self.select_font) # pop-up to select system fonts formatmenu.add_checkbutton(label='Wrap', onvalue=True, offvalue=False, variable=self.options.wrap, command=self.toggle_wrap) viewmenu = Menu(self.menu) self.menu.add_cascade(label='View', menu=viewmenu) viewmenu.add_checkbutton(label='Status bar', onvalue=True, offvalue=False, variable=self.options.status_bar, command=lambda: self.status_bar.display(self.options.status_bar.get())) viewmenu.add_command(label='Toggle theme', command=self.toggle_theme) helpmenu = Menu(self.menu) self.menu.add_cascade(label="Help", menu=helpmenu) helpmenu.add_command(label="About", command=lambda : self.about()) def create_ui(self, master): self.editor = ScrolledText(master, width=100, height=50, highlightthickness=0) self.editor.config(undo=True) self.editor.pack(expand=YES, fill='both', padx=0, pady=0) self.toggle_theme() #print_configs(self.editor) # Create pop-menu for the entire editor.. do some cool stuff with it self.editor.popmenu = Menu(self.master, tearoff=0) # TODO : later need to do smart copy/paste i.e. selected text copy of entire line copy self.editor.popmenu.add_command(label='Copy', command=lambda: event_generate(self.editor, 'Copy')) self.editor.popmenu.add_command(label='Paste', command=lambda: event_generate(self.editor, 'Paste')) # TODO : disable undo when not available, not sure if its possible. Need to check research later self.editor.popmenu.add_command(label='Undo', command=lambda: event_generate(self.editor, 'Undo')) self.editor.popmenu.add_separator() # TODO : 'share' this will be the best feature in the editor, share the file with the future textee sharing api self.editor.popmenu.add_command(label='Share', command=do_nothing) # add status bar by default, it can be hidden from menu self.status_bar.update_status('Hi there') def set_bindings(self, master): master.bind_class('Text', '<Control-a>', select_all) master.bind_class('Text', '<Control-s>', lambda event: self.save_file()) master.bind_class('Text', '<Control-o>', lambda event: self.open_file()) master.bind_class('Text', '<Control-n>', lambda event: self.new_file()) master.bind_class('Text', '<Control-g>', lambda event: self.goto_line()) master.bind_class('Text', '<Control-f>', lambda event: self.find()) master.bind_class('Text', '<Control-p>', lambda event: self.printer()) master.bind_class('Text', '<Control-;>', lambda event: self.find_and_replace()) # this function is only for temporoy use - for dev purpose only # editor section bindings only self.editor.bind('<Button-2>', self.show_right_click_menu) # for right-click self.editor.bind('<Button-3>', self.show_right_click_menu) # for middle-click (scroll press) #display the current cursor position self.display_current_position() def new_file(self): self.file = None self.editor.delete('1.0', END+'-1c') # clear all the contents def open_file(self): self.file = tkFileDialog.askopenfilename(parent=self.master,title='Select a file') if self.file != None and self.file != '': self.editor.delete('1.0', END+'-1c') # clear all the contents infile = open(self.file, 'r') contents = infile.read() self.editor.insert('1.0',contents) infile.close() def save_file(self, save_as=False): data = self.editor.get('1.0', END+'-1c') save_as_file = None # if saving the file by creation if self.file == None or save_as == True: save_as_file = tkFileDialog.asksaveasfilename() # attempt to select the filename, the user can select cancel so check agian below # the above could result in None if the user cancels the dialog if save_as_file: self.file = save_as_file # final check, as both the above could result in None if self.file != None: outfile = open(self.file, 'w') outfile.write(data) outfile.close() def goto_line(self): lineno = tkSimpleDialog.askinteger('Textee', 'Goto line:') if lineno > 0: self.editor.mark_set(INSERT, lineno + 0.0) #convert to float self.editor.see(INSERT) self.editor.focus_set() def toggle_theme(self): if self.theme == 'light': self.editor.config(bg='black', fg='white', insertbackground='white',highlightcolor='black') self.editor.frame.config(bg='black') # theme for misspelled words self.editor.tag_configure("misspelled", foreground="red", underline=True) self.theme = 'dark' else: self.editor.config(bg='white', fg='black', insertbackground='black',highlightcolor='white') self.editor.frame.config(bg='white') # theme for misspelled words self.editor.tag_configure("misspelled", foreground="red", underline=True) self.theme = 'light' def toggle_wrap(self): # self.editor.cget('wrap') # gets the config value if not self.options.wrap.get(): self.editor.config(wrap='none') else: self.editor.config(wrap='word') def find(self): find_text = tkSimpleDialog.askstring("Textee", "Enter text to search", initialvalue=self.find_text) if find_text: if find_text == self.find_text: start_pos = self.editor.search(find_text, self.editor.index('insert'), stopindex=END, nocase=True) else: start_pos = self.editor.search(find_text, '1.0', stopindex=END, nocase=True) self.find_text = find_text if(start_pos): end_pos = '%s+%sc' % (start_pos, len(self.find_text)) self.editor.tag_add(SEL, start_pos, end_pos) self.editor.mark_set(INSERT, end_pos) # mark the cursor to end of find text to start editing self.editor.see(INSERT) # bing the cursor position in the viewport incase of long text causinng scrollbar self.editor.focus_set() # strangely tkinter doesnt return focus after prompt else: tkMessageBox.showinfo("Textee", "No morw matches found") else: self.editor.focus_set() # strangely tkinter doesnt return focus after prompt def find_and_replace(self): #show the custom dialog self.find_and_replace_dialog = TexteeFindAndReplaceDialog(self.master) if self.find_and_replace_dialog.find_text: start_pos = self.editor.search(self.find_and_replace_dialog.find_text, '1.0', stopindex=END, nocase=True) # lazy recursive replace for all the matched elements, no need to parse whole dataset again and again while start_pos: self.editor.delete(start_pos, '%s+%sc' % (start_pos, len(self.find_and_replace_dialog.find_text))) self.editor.insert(start_pos, self.find_and_replace_dialog.replace_with) # break after first replace if replace all flag is off if not self.find_and_replace_dialog.replace_all: break start_pos = self.editor.search(self.find_and_replace_dialog.find_text, '%s+%sc' % (start_pos, len(self.find_and_replace_dialog.replace_with)), stopindex=END, nocase=True) def select_font(self): self.font_dialog = TexteeFontDialog(self.master) fs = 12 # default size for any font selected if self.font_dialog.selected_font_family: ff = self.font_dialog.selected_font_family if self.font_dialog.selected_font_size: fs = self.font_dialog.selected_font_size print ff, fs, " - font properties" if ff and fs > 0: self.default_font = tkFont.Font(self.master, family=ff, size=fs) self.editor.config(font=self.default_font) def show_right_click_menu(self, event): print 'going to display popmenu at', event.x_root, event.y_root try: self.editor.popmenu.tk_popup(event.x_root, event.y_root, 0) finally: # TODO: not sure why we need this, pasting it from the documentation. Later check to remove it self.editor.popmenu.grab_release() def spell_check(self): # check if the dictonary exists in the system (only mac and linux have it at this location) # TODO: to check on windows how to do? print "inside the spell check" if not os.path.exists('/usr/share/dict/words'): return with open('/usr/share/dict/words', 'r') as words_file: system_words = words_file.read().split('\n') current_file_lines = self.editor.get('1.0', END+'-1c').split('\n') for lineno, current_line in enumerate(current_file_lines): current_line_words = re.split('\W', current_line) columnposition = 0 # this is to ignore the white space with which we split above, the marking of the invalid word should be be without the space for word in current_line_words: start_index = '%s.%s' % (lineno+1, columnposition) end_index = '%s+%dc' % (start_index, len(word)) if word in system_words: self.editor.tag_remove('misspelled', start_index, end_index) else: self.editor.tag_add('misspelled', start_index, end_index) columnposition += len(word)+1 # take into account the space def display_current_position(self): cursor_position = self.editor.index("insert").replace('.', ',') self.status_bar.update_status(cursor_position) self.master.after(self.status_bar.update_interval, self.display_current_position) def printer(self): if not os.path.exists('/usr/bin/lpr'): tkMessageBox.showerror('Printing is not supported with your operating system') return lpr = subprocess.Popen('/usr/bin/lpr', stdin=subprocess.PIPE) text = self.editor.get('1.0', END+'-1c') lpr.stdin.write(text) lpr.stdin.close() def new_window(self): #allow multiple windows to be opened root = Tkinter.Tk(className=" Textee") root.title("Textee - A Stupid Text Editor") app = Textee(root) self.windows.append(app) root.mainloop() def about(self): tkMessageBox.showinfo("About", "Textee - A stupid text editor") def exit(self, master): if tkMessageBox.askokcancel("Quit", "Are you sure?"): master.destroy()
def initialisation(self): global input_pipe global output_pipe if len(sys.argv) > 2 : print 'output_pipe : ', output_pipe global ChaineALire global st global fp global colorbox global sortieTube global entreeTube texte = """ Welcome in GUI for ARINC 653 emulator """ #on cree un fenetre principale 'fp' a� partir du 'modele' Tk #fp = Tk() self.title('ARINC 653 Partition') #Declaration du texte deroulant dans 'fp' st = ScrolledText(self,wrap="word") st.grid(column=1,columnspan=2,rowspan=2,sticky='nw') #Creation d'un panneau 'menu_bottom' insere dans 'fp' # menu_bottom = Frame(self,borderwidth=2) # menu_bottom.grid(column=1,columnspan=3,sticky='sw') ##Creation d'une etiquette inseree dans 'menu_bottom' #etiquette = Label(menu_bottom,text = 'Commande : ') #etiquette.grid(row=1,column=1,sticky='w') ##Creation d'un boutton dans 'menu_bottom' #b = Button(menu_bottom,text='execute',command=self.affiche_commande) #b.grid(row=1,column=3,sticky='e') ##Creation d'un boite d'edition dans 'nenu_top' #entre = Entry(menu_bottom,width=20,relief='sunken') #entre.insert(END,'Texte a afficher') #entre.grid(row=1,column=2,sticky='ew') #Creation d'une etiquette inseree etiquette = Label(self,text = 'Command : ') etiquette.grid(row=2,column=0,sticky='w') #Creation d'un boutton b = Button(self,text='execute',command=self.affiche_commande) b.grid(row=2,column=2,sticky='e') #Creation d'un boite d'edition dans 'nenu_top' entre = Entry(self,width=20,relief='sunken') entre.insert(END,'Text to send') entre.grid(row=2,column=1,sticky='ew') partitionbox = Label(self ,text = 'Active partition : ') partitionbox.grid(column=0,row=0,sticky='n') self.labelVariable = StringVar() self.backcolorlabel = StringVar() self.frontcolorlabel = StringVar() self.backcolorlabel = "LightBlue" self.frontcolorlabel = "Black" label = Label(self,textvariable=self.labelVariable, anchor="w",fg=self.frontcolorlabel,bg=self.backcolorlabel,height=28) label.grid(column=0,row=1,sticky='EW') #on insete le texte 'texte' dans le widget 'texte deroulant' nomme 'st' st.insert(END,texte) #on applique a� tout le texte la police par defaut st.config(font = 'Arial 12') st.config(foreground='Black') #on configure le fond du 'texte derouant' st.config(background='LightBlue') #e = Entry(st,width=25) self.grid_columnconfigure(1,weight=1) self.rowconfigure(1,weight=1) self.resizable(False,True) self.update() self.geometry(self.geometry()) try: assert input_pipe != '' except AssertionError: showerror('error', "no pipe choosed") input_pipe = tkFileDialog.askopenfilename(title='Choose the input pipe to open', defaultextension ='.fifo') #openning the INPUT pipe try: assert input_pipe != '' try : # sortieTube = os.open(input_pipe+nomTube,os.O_RDONLY|os.O_NONBLOCK) sortieTube = os.open(input_pipe,os.O_RDONLY) if sortieTube == -1 : raise ValueError except ValueError : showerror('Error', "fail to open the Input pipe's output") except AssertionError: showerror("Error", "You must choose a pipe first") #openning the OUTPUT pipe if len(sys.argv) > 2 : #if an output pipe was given as the second argument try: assert output_pipe != '' #opening the pipe try : entreeTube = os.open(output_pipe,os.O_WRONLY) if entreeTube == -1 : raise ValueError except ValueError : showerror('Error', "Could not open Output pipe") except AssertionError: showerror("Error", "You must choose an output pipe first") output_pipe = tkFileDialog.askopenfilename(title='Choose the output pipe to open', defaultextension ='.fifo')
class SphxUI(): def __init__(self, root): self.data = SphxData() self.xdopy = XdoPy() self.gooey = GuiPiece(self.data.MAIN_PATH, self.data.GUI_PIECE_DIR) self.script_dir = self.data.SCRIPT_DIR self.txt_dir = self.data.TXT_FILE_DIR # sphx data to reset upon new or fill upon load self.script_lines = [] self.gui_pieces = [] self.window_names = [] self.passed_script_data = None self.text_file_pass = None self.return_data = None self.gui_piece_list_active = False self.script_fn = None # generate UI self.root = root self.master = Frame(self.root) self.master.grid() self.add_file_menu() self.create_script_pad() self.create_action_buttons() self.create_gui_pieces_list() return def start(self): self.root.mainloop() return def _dummy(self): pass def _dummy_event(self, event, arg=None): pass # TOP MENU # # def add_file_menu(self): self.menubar = Menu(self.root) self.filemenu = Menu(self.menubar, tearoff=0) self.filemenu.add_command(label="New", command=self._new) self.filemenu.add_separator() self.filemenu.add_command(label="Open...", command=self._open) self.filemenu.add_command(label="Save", command=lambda: self._save(saveas=False)) self.filemenu.add_command(label="Save As...", command=lambda: self._save(saveas=True)) self.filemenu.add_separator() self.filemenu.add_command(label="Exit", command=self._regular_exit) self.menubar.add_cascade(label="File", menu=self.filemenu) self.helpmenu = Menu(self.menubar, tearoff=0) self.helpmenu.add_command(label="About", command=self._dummy) self.menubar.add_cascade(label="Help", menu=self.helpmenu) self.root.config(menu=self.menubar) def _clear_everything(self): self.script_pad.delete('1.0', END) for button in self.gui_piece_buttons: button.config(text='') for line in self.script_lines: if line[2]: self.script_pad.tag_delete(line[2]) self.script_lines = [] self.gui_pieces = [] self.window_names = [] self.passed_script_data = None self.return_data = None self.gui_piece_list_active = False def _new(self): self.new_save = Toplevel() self.new_save.title('Save Script?') new_frame1 = Frame(self.new_save) new_frame1.grid(row=0, column=0) label = Label( new_frame1, text='Do you want to save your script before starting over?') label.grid() new_frame2 = Frame(self.new_save) new_frame2.grid(row=1, column=0) button = Button(new_frame2, text='Yes', command=lambda: self._new_save(0)) button.grid(row=0, column=0) button = Button(new_frame2, text='No', command=lambda: self._new_save(1)) button.grid(row=0, column=1) button = Button(new_frame2, text='Cancel', command=lambda: self._new_save(2)) button.grid(row=0, column=2) def _new_save(self, answer): if answer == 0: if self.script_fn: self._save() else: self._save(False) self._clear_everything() self.new_save.destroy() if answer == 1: self._clear_everything() self.new_save.destroy() if answer == 2: self.new_save.destroy() def _open(self): if self.script_lines == [] and self.gui_pieces == []: self._load_everything() return self.open_save = Toplevel() self.open_save.title('Save Script?') new_frame1 = Frame(self.open_save) new_frame1.grid(row=0, column=0) label = Label( new_frame1, text='Do you want to save your script before opening a saved one?') label.grid() new_frame2 = Frame(self.open_save) new_frame2.grid(row=1, column=0) button = Button(new_frame2, text='Yes', command=lambda: self._open_save(0)) button.grid(row=0, column=0) button = Button(new_frame2, text='No', command=lambda: self._open_save(1)) button.grid(row=0, column=1) button = Button(new_frame2, text='Cancel', command=lambda: self._open_save(2)) button.grid(row=0, column=2) def _open_save(self, answer): if answer == 0: if self.script_fn: self._save() else: self._save(False) self.open_save.destroy() self._load_everything() if answer == 1: self.open_save.destroy() self._load_everything() if answer == 2: self.open_save.destroy() def _load_everything(self): f = tkFileDialog.askopenfilename(initialdir=self.data.SCRIPT_DIR, title="Open Script", filetypes=(("sphx files", "*.sphx"), ("all files", "*.*"))) with open(f, 'r') as openfile: sphx_dict = json.load(openfile) self.script_fn = f.rpartition('/')[2] openfile.close() self._clear_everything() self.script_lines = sphx_dict['script_lines'] self.gui_pieces = sphx_dict['gui_pieces'] button_index = 0 for gui_piece in self.gui_pieces: gui_piece_text = '{0}. {1}'.format(button_index + 1, gui_piece) self.gui_piece_buttons[button_index].config(text=gui_piece_text) button_index += 1 for line in self.script_lines: line_number, script_text, tagname, tag_start, tag_end, script_data = line self.script_pad.insert(END, script_text + '\n') self._scanfix_script_lines(None) def _save(self, saveas=False): self._scanfix_script_lines(None) script_dict = { 'script_lines': self.script_lines, 'gui_pieces': self.gui_pieces } if not saveas and self.script_fn: with open(os.path.join(self.data.SCRIPT_DIR, self.script_fn), 'w') as outfile: json.dump(script_dict, outfile) self.script_fn = outfile.name.rpartition('/')[2] if (saveas or not self.script_fn) or (saveas and not self.script_fn): outfile = tkFileDialog.asksaveasfile( mode='w', defaultextension='.sphx', initialdir=self.data.SCRIPT_DIR) if outfile is None: return json.dump(script_dict, outfile) outfile.close() self.script_fn = outfile.name.rpartition('/')[2] def _regular_exit(self): self.exit_save = Toplevel() self.exit_save.title('Save Script') exit_frame1 = Frame(self.exit_save) exit_frame1.grid(row=0, column=0) label = Label(exit_frame1, text='Do you want to save your script before exiting?') label.grid() exit_frame2 = Frame(self.exit_save) exit_frame2.grid(row=1, column=0) button = Button(exit_frame2, text='Yes', command=lambda: self._exit_save(0)) button.grid(row=0, column=0) button = Button(exit_frame2, text='No', command=lambda: self._exit_save(1)) button.grid(row=0, column=1) button = Button(exit_frame2, text='Cancel', command=lambda: self._exit_save(2)) button.grid(row=0, column=2) def _exit_save(self, answer): if answer == 0: if self.script_fn: self._save() else: self._save(False) self.root.quit() if answer == 1: self.root.quit() if answer == 2: self.exit_save.destroy() # SCRIPT PAD COLUMN # # def create_script_pad(self): script_pad_label = Label(self.master, text='SCRIPT BUILD (right-click for options)') script_pad_label.grid(row=0, column=1) self.script_pad = ScrolledText(self.master, width=75, height=32) self.script_pad.grid(row=1, column=1, sticky='nw') self.script_pad.bind('<KeyRelease>', self._scanfix_script_lines) self.print_button = Button(self.master, text='Print Script Line Data To Terminal', command=self._print_script_line_data) self.print_button.grid(row=2, column=1, sticky='nwes') return def _print_script_line_data(self): for line in self.script_lines: print(line[1]) def _get_tag_data(self, line_count, line_text, script_data): tag_start = '{0}.{1}'.format(line_count, line_text.index(script_data)) tag_end = '{0}.{1}'.format( line_count, line_text.index(script_data) + len(script_data)) return tag_start, tag_end def _scanfix_script_lines(self, event): new_script_lines = [] new_text = self.script_pad.get('1.0', END) new_text_lines = new_text.split('\n') line_count = 0 gui_tags = [] win_tags = [] key_tags = [] self.script_lines = [] new_window_names = [] for line in new_text_lines: line_count += 1 if ';' and ' ' in line: line_text = line.rpartition(';')[0] line_pieces = line_text.split(' ') action = line_pieces[0] script_line_data = [] if action in [a[0] for a in self.data.GUI_ACTIONS]: script_data = line_pieces[1] tag_index = len(gui_tags) tag_name = 'gui{0}'.format(tag_index) self.script_pad.tag_delete(tag_name) gui_tags.append(tag_name) tag_start, tag_end = self._get_tag_data( line_count, line_text, script_data) script_line_data = [ line_count, line, tag_name, tag_start, tag_end, script_data ] self.script_pad.tag_add(tag_name, tag_start, tag_end) self.script_pad.tag_config(tag_name, background='blue', foreground='white') self.script_pad.tag_bind( tag_name, '<Button-3>', lambda event, arg=script_line_data: self. _gui_piece_menu_popup(event, arg)) if action in [a[0] for a in self.data.WINDOW_ACTIONS]: script_data = line_pieces[1] tag_index = len(win_tags) tag_name = 'win{0}'.format(tag_index) self.script_pad.tag_delete(tag_name) win_tags.append(tag_name) tag_start, tag_end = self._get_tag_data( line_count, line_text, script_data) script_line_data = [ line_count, line, tag_name, tag_start, tag_end, script_data ] if action == 'name_active_window': new_window_names.append(script_data) self.script_pad.tag_add(tag_name, tag_start, tag_end) self.script_pad.tag_config(tag_name, background='gray', foreground='white') else: self.script_pad.tag_add(tag_name, tag_start, tag_end) self.script_pad.tag_config(tag_name, background='pink', foreground='white') self.script_pad.tag_bind( tag_name, '<Button-3>', lambda event, arg=script_line_data: self. _window_menu_popup(event, arg)) if action in [a[0] for a in self.data.KEYBOARD_ACTIONS]: script_data = line_text.partition(' ')[2] tag_index = len(key_tags) tag_name = 'key{0}'.format(tag_index) key_tags.append(tag_name) tag_start, tag_end = self._get_tag_data( line_count, line_text, script_data) script_line_data = [ line_count, line, tag_name, tag_start, tag_end, script_data ] self.script_pad.tag_add(tag_name, tag_start, tag_end) if 'type' in action: tag_bg, tag_fg = 'green', 'white' else: tag_bg, tag_fg = 'green', 'yellow' self.script_pad.tag_config(tag_name, background=tag_bg, foreground=tag_fg) self.script_pad.tag_bind( tag_name, '<Button-3>', lambda event, arg=script_line_data: self. _text_piece_popup(event, arg)) if action in [a[0] for a in self.data.OTHER_ACTIONS]: script_data = None tag_name = None tag_start, tag_end = None, None script_line_data = [ line_count, line, tag_name, tag_start, tag_end, script_data ] if len(script_line_data) > 0: self.script_lines.append(script_line_data) self.window_names = sorted(new_window_names) if len(self.window_names) == 0: self.action_buttons_list[15].config(state=DISABLED) self.action_buttons_list[16].config(state=DISABLED) else: if not self.gui_piece_list_active: self.action_buttons_list[15].config(state='normal') self.action_buttons_list[16].config(state='normal') return # ACTION BUTTONS COLUMN # # def create_action_buttons(self): action_buttons_label = Label(self.master, text='SCRIPT ACTIONS') action_buttons_label.grid(row=0, column=2) self.action_buttons = Frame(self.master) self.action_buttons.grid(row=1, column=2, sticky='nw') self.auto_snap = IntVar() self.auto_snap.set(1) self.auto_snap_check = Checkbutton(self.action_buttons, text='Auto-snap', variable=self.auto_snap) self.auto_snap_check.grid(row=0, column=2) self.action_buttons_list = [] action_index = 0 for i in range(3): for j in range(3): button = Button(self.action_buttons, text=self.data.GUI_ACTIONS[action_index][0], pady=5, command=functools.partial( self._append_gui_piece_action, self.data.GUI_ACTIONS[action_index][1])) button.grid(row=i + 1, column=j, sticky='nwes') action_index += 1 self.action_buttons_list.append(button) action_index = 0 for i in range(2): for j in range(3): if i == 0 and j == 0: continue button = Button( self.action_buttons, text=self.data.KEYBOARD_ACTIONS[action_index][0], pady=5, command=functools.partial( self._append_text_piece_action, self.data.KEYBOARD_ACTIONS[action_index][1])) button.grid(row=i + 4, column=j, sticky='nwes') self.action_buttons_list.append(button) action_index += 1 action_index = 0 for j in range(3): button = Button(self.action_buttons, text=self.data.WINDOW_ACTIONS[action_index][0], pady=5, command=functools.partial( self._append_window_action, self.data.WINDOW_ACTIONS[action_index][1])) button.grid(row=6, column=j, sticky='nwes') if j > 0: button.config(state=DISABLED) self.action_buttons_list.append(button) action_index += 1 action_index = 0 for j in range(2): button = Button(self.action_buttons, text=self.data.OTHER_ACTIONS[action_index][0], pady=5, command=functools.partial( self._append_other_action, self.data.OTHER_ACTIONS[action_index][1])) button.grid(row=7, column=j + 1, sticky='nwes') self.action_buttons_list.append(button) action_index += 1 # insert another layer for hover-over data about script action return # GUI PIECES COLUMN # # def create_gui_pieces_list(self): gui_pieces_label = Label(self.master, text='GUI PIECES (click to view)') gui_pieces_label.grid(row=0, column=0) self.gui_piece_buttons = [] self.gui_pieces_pad = Frame(self.master) self.gui_pieces_pad.grid(row=1, column=0, sticky='nw') button_index = 0 for j in range(2): for i in range(25): new_button = Button(self.gui_pieces_pad, text='', bg='blue', fg='white', borderwidth=0, width=15, padx=0, pady=0, command=functools.partial( self._gui_piece_button_click, button_index)) button_index += 1 new_button.grid(row=i, column=j, sticky='w') self.gui_piece_buttons.append(new_button) self.gui_piece_extras = Frame(self.master) self.gui_piece_extras.grid(row=2, column=0, sticky='nwes') self.take_new_gui_piece_button = Button(self.gui_piece_extras, text='Take New', command=self._get_gui_piece) self.take_new_gui_piece_button.grid(row=0, column=0, sticky='nwes') # TO FINISH -- LOAD BUTTON self.load_png_gui_piece_button = Button(self.gui_piece_extras, text='Load Png', command=self._dummy) self.load_png_gui_piece_button.config(state=DISABLED) self.load_png_gui_piece_button.grid(row=0, column=1, sticky='nwes') # TO FINISH -- REMOVE BUTTON self.remove_gui_piece_button = Button( self.gui_piece_extras, text='Remove', command=lambda: self._activate_gui_pieces_list(None)) self.remove_gui_piece_button.grid(row=0, column=2, sticky='nwes') return def _append_gui_pieces_list(self, gui_piece): gui_piece_text = '{0}. {1}'.format(len(self.gui_pieces) + 1, gui_piece) self.gui_piece_buttons[len( self.gui_pieces)].config(text=gui_piece_text) self.gui_pieces.append(gui_piece) return def _remove_gui_piece(self, button_index): removed_gui_piece = self.gui_pieces.pop(button_index) if button_index < len(self.gui_pieces): for replace_index in range(button_index, len(self.gui_pieces)): self.gui_piece_buttons[replace_index].config( text='{0}. {1}'.format(replace_index + 1, self.gui_pieces[replace_index])) self.gui_piece_buttons[len(self.gui_pieces)].config(text='') for index in range(len(self.script_lines)): line_data = self.script_lines[index][-1] if line_data == removed_gui_piece: data = '<right-click>', self.script_lines[index] self._replace_gui_piece(data) return def _activate_gui_pieces_list(self, script_line_data): if len(self.gui_pieces): for button in self.gui_piece_buttons: button.config(fg='white', bg='red') self.script_pad.config(state=DISABLED) self.print_button.config(state=DISABLED) for button in self.action_buttons_list: button.config(state=DISABLED) self.take_new_gui_piece_button.config(state=DISABLED) # self.load_png_gui_piece_button.config(state=DISABLED) self.remove_gui_piece_button.config(state=DISABLED) self.gui_piece_list_active = True self.passed_script_data = script_line_data def _gui_piece_button_click(self, button_index): if button_index < len(self.gui_pieces): gui_piece = self.gui_pieces[button_index] if not self.gui_piece_list_active: self._display_gui_piece(gui_piece) else: if self.passed_script_data: script_line_data = self.passed_script_data data = gui_piece, script_line_data self._replace_gui_piece(data) else: self._remove_gui_piece(button_index) for button in self.gui_piece_buttons: button.config(bg='blue', fg='white') self.print_button.config(state='normal') for button in self.action_buttons_list: button.config(state='normal') if len(self.window_names) == 0: self.action_buttons_list[15].config(state=DISABLED) self.action_buttons_list[16].config(state=DISABLED) self.take_new_gui_piece_button.config(state='normal') # self.load_png_gui_piece_button.config(state='normal') self.remove_gui_piece_button.config(state='normal') self.gui_piece_list_active = False # -- gui piece action functions -- # # def _append_gui_piece_action(self, script_text): if self.auto_snap.get(): gui_piece = self._get_gui_piece() else: gui_piece = '<right-click>' script_line = script_text.format(gui_piece) self.script_pad.insert(END, script_line) self._scanfix_script_lines(None) def _gui_piece_menu_popup(self, event, script_line_data): self.popup_menu1 = Menu(self.root, tearoff=0) self.popup_menu1.add_command(label='View', command=functools.partial( self._display_gui_piece, script_line_data[-1])) self.popup_menu1.add_command(label='Take New', command=functools.partial( self._sub_new_gui_piece, script_line_data)) self.popup_menu1.add_command(label='Choose From Others', command=functools.partial( self._activate_gui_pieces_list, script_line_data)) self.popup_menu1.post(event.x_root, event.y_root) self.master.bind('<Button-1>', self._destroy_gui_piece_menu) self.master.bind('<Button-3>', self._destroy_gui_piece_menu) self.script_pad.bind('<Enter>', self._destroy_gui_piece_menu) def _get_gui_piece(self): self.root.iconify() self.gooey.take_new_gui_piece() self.root.deiconify() gui_piece = self.gooey.gui_piece_filename self._append_gui_pieces_list(gui_piece) return gui_piece def _display_gui_piece(self, gui_piece): if gui_piece != '<right-click>': self.img_viewer = Toplevel() self.img_viewer.title(gui_piece) img_open = Image.open( os.path.join(self.data.GUI_PIECE_DIR, gui_piece)) img = ImageTk.PhotoImage(img_open) img_label = Label(self.img_viewer, image=img) img_label.image = img img_label.grid(row=0, column=0, padx=20, pady=20) def _replace_gui_piece(self, data): new_gui_piece, script_line_data = data line_number, script_text, gui_tagname, gui_tag_start, gui_tag_end, gui_piece = script_line_data self.script_pad.config(state='normal') self.script_pad.delete(gui_tag_start, gui_tag_end) self.script_pad.insert(gui_tag_start, new_gui_piece) self._scanfix_script_lines(None) def _sub_new_gui_piece(self, gui_tag_data): data = self._get_gui_piece(), gui_tag_data self._replace_gui_piece(data) def _destroy_gui_piece_menu(self, event): self.popup_menu1.destroy() # -- window action functions -- # # def _append_window_action(self, script_text): if script_text.split(' ')[0] == 'name_active_window': if len(self.window_names) == 0: self.action_buttons_list[13].config(state='normal') self.action_buttons_list[14].config(state='normal') window_name = 'window{0}'.format( str(len(self.window_names)).zfill(2)) self.window_names.append(window_name) else: window_name = self.window_names[-1] script_line = script_text.format(window_name) self.script_pad.insert(END, script_line) self._scanfix_script_lines(None) def _window_menu_popup(self, event, script_line_data): self.popup_menu2 = Menu(self.root, tearoff=0) for other_window_name in self.window_names: data = other_window_name, script_line_data self.popup_menu2.add_command(label=other_window_name, command=functools.partial( self._replace_window_name, data)) self.popup_menu2.post(event.x_root, event.y_root) self.master.bind('<Button-1>', self._destroy_window_name_menu) self.master.bind('<Button-3>', self._destroy_window_name_menu) self.script_pad.bind('<Enter>', self._destroy_window_name_menu) def _replace_window_name(self, data): self.popup_menu2.destroy() new_window_name, script_line_data = data line_number, script_text, win_tagname, win_tag_start, win_tag_end, window_name = script_line_data self.script_pad.delete(win_tag_start, win_tag_end) self.script_pad.insert(win_tag_start, new_window_name) self._scanfix_script_lines(None) def _destroy_window_name_menu(self, event): self.popup_menu2.destroy() # -- type_text action functions -- # # def _append_text_piece_action(self, script_text): text_piece = '<right-click>' script_line = script_text.format(text_piece) self.script_pad.insert(END, script_line) self._scanfix_script_lines(None) def _text_piece_popup(self, event, data): open_text_file = False text_piece = data[-1] if text_piece == '<right-click>': text_piece = '' if 'type' in data[1]: if 'type_text_file' in data[1]: open_text_file = True else: text_type_title = 'Text to Type:' else: text_type_title = 'Key(s) to Press:' if not open_text_file: self.get_text = Toplevel() self.get_text.title(text_type_title) self.text_entry = Entry(self.get_text, text=text_piece, width=75, font=("Helvetica", 12)) self.text_entry.grid() self.text_entry.bind( '<Return>', lambda event, arg=data: self._replace_text_piece(event, arg)) else: self._open_text_file(data) def _open_text_file(self, script_line_data): f = tkFileDialog.askopenfilename(initialdir=self.data.TXT_FILE_DIR, title="Open Text File", filetypes=(("txt files", "*.txt"), ("all files", "*.*"))) if f is None: return with open(f, 'r') as openfile: text_from_file = openfile.read() self.text_file_pass = f.rpartition('/')[2] self._replace_text_piece(None, script_line_data) return def _replace_text_piece(self, event, data): line_number, script_text, text_tagname, text_tag_start, text_tag_end, text_piece = data if 'type_text_file' in script_text: new_text_piece = self.text_file_pass else: new_text_piece = self.text_entry.get() self.get_text.destroy() self.script_pad.config(state='normal') self.script_pad.delete(text_tag_start, text_tag_end) self.script_pad.insert(text_tag_start, new_text_piece) self._scanfix_script_lines(None) # -- sleep & other action functions -- # # def _append_other_action(self, script_text): script_line = script_text self.script_pad.insert(END, script_line) self._scanfix_script_lines(None)
class TextEditor(EventBasedAnimationClass): @staticmethod def make2dList(rows, cols): # From 15-112 class notes a=[] for row in xrange(rows): a += [[0]*cols] return a @staticmethod def readFile(filename, mode="rt"): # From 15-112 class notes # rt = "read text" with open(filename, mode) as fin: return fin.read() @staticmethod def writeFile(filename, contents, mode="wt"): # From 15-112 class notes # wt = "write text" with open(filename, mode) as fout: fout.write(contents) def highlightError(self, lineNumber): # highlights error in the code based on line number self.textWidget.tag_remove("error",1.0,END) self.textWidget.tag_add("error", "%d.0"%lineNumber, "%d.end"%lineNumber) self.textWidget.tag_config("error", underline = 1) def colorIsBlack(self, color): # ranks whether a color is nearing black or white color = color[1:] count = int(color,16) if(count<(16**len(color) -1 )/2): return True return False def styleTokens(self,tokenisedText,colorScheme, startIndex,seenlen,seenLines,flag): # apply style to tokens in the text for token in tokenisedText: styleForThisToken = colorScheme.style_for_token(token[0]) if(styleForThisToken['color']): self.currentColor = "#" + styleForThisToken['color'] else: if(self.colorIsBlack(colorScheme.background_color)): self.currentColor = "White" else: self.currentColor = "Black" if(token[1] == "\n"): seenLines += 1 if(seenLines > 23 and flag): break # the '#' is to denote hex value textWidget = self.textWidget newSeenLen = seenlen + len(token[1]) textWidget.tag_add(startIndex+"+%dc"%seenlen, startIndex+"+%dc"%(seenlen), startIndex+"+%dc"%(newSeenLen)) self.textWidget.tag_config(startIndex+"+%dc"%seenlen, foreground = self.currentColor) seenlen = newSeenLen def checkErrors(self): # checks whether there is an error in the code by parsing it # and analysing the traceback errors = MyParse().pythonCodeContainsErrorOnParse(self.currentText) if(errors[0]): try: lineNumber=int(errors[1][-5][errors[1][-5].find("line ")+5:]) except: lineNumber=int(errors[1][-7][errors[1][-7].find("line ")+5:]) self.highlightError(lineNumber) else: self.textWidget.tag_remove("error",1.0,END) def highlightText(self,lineCounter = "1",columnCounter = "0",flag = False): # highlight text since syntax mode is on text = self.currentText.split("\n") text = "\n".join(text[int(lineCounter)-1:]) startIndex = lineCounter + "." + columnCounter seenlen, seenLines = 0,0 tokenisedText = pygments.lex(text, self.lexer) if(self.colorScheme): colorScheme = pygments.styles.get_style_by_name(self.colorScheme) else: colorScheme = pygments.styles.get_style_by_name( self.defaultColorScheme) if(self.colorIsBlack(colorScheme.background_color)): self.insertColor = "White" else: self.insertColor = "Black" self.textWidget.config(background = colorScheme.background_color, highlightbackground = colorScheme.highlight_color, highlightcolor = colorScheme.highlight_color, insertbackground = self.insertColor) self.styleTokens(tokenisedText,colorScheme,startIndex,seenlen, seenLines, flag) if(self.fileExtension == ".py" and self.errorDetectionMode): self.checkErrors() def editDistance(self,currentWord, word): # wagner-fischer algorithm for calculating levenshtein distance dp = TextEditor.make2dList(len(currentWord)+1, len(word)+1) costOfInsertion = 1 costOfDeletion = 1 costOfSubstitution = 1 for i in xrange(len(currentWord)+1): dp[i][0] = i*costOfInsertion for i in xrange(len(word)+1): dp[0][i] = i*costOfDeletion for i in xrange(1,len(currentWord)+1): for j in xrange(1,len(word)+1): if(currentWord[i-1] == word[j-1]): dp[i][j] = dp[i-1][j-1] else: dp[i][j] = min(dp[i][j-1]+costOfInsertion, dp[i-1][j]+costOfDeletion,dp[i-1][j-1] + costOfSubstitution) return dp[len(currentWord)][len(word)] def wordsAreSimilar(self, currentWord, word): if(word.startswith(currentWord)): return True, abs(len(currentWord)-len(word))/2 similarity = self.editDistance(currentWord, word) return float(similarity)/len(currentWord)<=.5,similarity def cleanWord(self, word): # cleans a word by removing all not (char or numbers) processedWord = "" for c in word: if(c in string.ascii_uppercase or c in string.ascii_lowercase or c in "1234567890"): processedWord += c return processedWord def sortSuggestionDict(self): # sorts suggestion dictionary self.suggestionDict = sorted(self.suggestionDict.items(), key=operator.itemgetter(1)) def findMatchesToWord(self, currentWord): # checks words in current text and adds them to suggestionDict # based on whether they are similar or not if(currentWord == ""): return [] listOfWords = self.currentText.split() for word in listOfWords: word = self.cleanWord(word) if word!= currentWord[:-1]: similar = self.wordsAreSimilar(currentWord, word) if(similar[0] and word not in self.suggestionDict): self.suggestionDict[word] = similar[1] self.sortSuggestionDict return self.suggestionDict def getCurrentWord(self): # gets current word user is typing word = self.textWidget.get(self.textWidget.index("insert wordstart"), self.textWidget.index("insert wordend")) if(word == "\n" or word == " "): word = self.textWidget.get( self.textWidget.index("insert -1c wordstart"), self.textWidget.index("insert wordend")) word = word.replace("\n","") return word def openFile(self): # opens a file, also detects whether it is # a program or not self.initProgrammingModeAttributes() path = tkFileDialog.askopenfilename() if(path): self.currentFilePath = path self.currentFile = os.path.basename(path) self.currentText = TextEditor.readFile(path) self.textWidget.delete(1.0,END) self.textWidget.insert(1.0,self.currentText) self.fileExtension = os.path.splitext(path)[1] self.root.wm_title(self.currentFile) if(self.fileExtension != ".txt" and pygments.lexers.guess_lexer_for_filename( "example%s"%self.fileExtension,[])): self.programmingMode = True self.lexer = pygments.lexers.guess_lexer_for_filename( "example%s"%self.fileExtension,[]) self.highlightText() def saveFile(self): if(self.currentFilePath): TextEditor.writeFile(self.currentFilePath, self.currentText) def saveAs(self): # saves a file, automatically adds extension path = tkFileDialog.asksaveasfilename() if(path): if(self.fileExtension): path += self.fileExtension else: path += ".txt" TextEditor.writeFile(path, self.currentText) self.currentFilePath = path self.currentFile = os.path.basename(path) self.root.wm_title(self.currentFile) if(self.fileExtension !=".txt" and pygments.lexers.guess_lexer_for_filename( "example%s"%self.fileExtension,[])): self.programmingMode = True self.lexer = pygments.lexers.guess_lexer_for_filename( "example%s"%self.fileExtension,[]) self.highlightText() def newTab(self): TextEditor(1500,50).run() def undo(self): self.textWidget.edit_undo() def redo(self): self.textWidget.edit_redo() def cut(self): if self.textWidget.tag_ranges("sel"): self.clipboard = self.textWidget.get("sel.first","sel.last") self.textWidget.delete("sel.first","sel.last") else: self.clipboard = "" def copy(self): if self.textWidget.tag_ranges("sel"): self.clipboard = self.textWidget.get("sel.first","sel.last") def paste(self): if self.textWidget.tag_ranges("sel"): self.textWidget.insert("insert",self.clipboard) def resetFontAttribute(self): self.font = tkFont.Font(family = self.currentFont, size = self.fontSize) self.textWidget.config(font = self.font) def increaseFontSize(self): self.fontSize += 2 self.resetFontAttribute() def decreaseFontSize(self): self.fontSize -= 2 self.resetFontAttribute() def highlightString(self,searchString): lenSearchString = len(searchString) self.textWidget.tag_delete("search") self.textWidget.tag_config("search", background = "#FFE792") start = 1.0 while True: pos = self.textWidget.search(searchString, start, stopindex = END) if(not pos): break self.textWidget.tag_add("search", pos, pos+"+%dc"%(lenSearchString)) start = pos + "+1c" # search highlight color #FFE792 def searchInText(self): title = "Search" message = "Enter word to search for" searchString = tkSimpleDialog.askstring(title,message) if(searchString == None): return self.highlightString(searchString) def commentCode(self): # puts an annotation in the currently selected text title = "Comment" message = "Enter comment for selection" comment = tkSimpleDialog.askstring(title,message) if(comment == None): return if self.textWidget.tag_ranges("sel"): self.textWidget.tag_add("comment", self.textWidget.index(SEL_FIRST), self.textWidget.index(SEL_LAST)) self.textWidget.tag_config("comment", underline = 1) self.comments += [self.textWidget.index(SEL_FIRST) + "|" + self.textWidget.index(SEL_LAST) + "|" + comment] if(self.collaborativeCodingMode): # can only send strings through socket self.client.sendData(";".join(self.comments)) def findAndReplaceInText(self): # finds and replaces a word title = "Find and replace" message = "Enter string to remove" stringToRemove = tkSimpleDialog.askstring(title,message) if(stringToRemove == None): return message = "Enter string to add" stringToReplace = tkSimpleDialog.askstring(title, message) if(stringToReplace == None): return self.currentText = self.currentText.replace( stringToRemove, stringToReplace) self.textWidget.delete(1.0, END) self.textWidget.insert(1.0, self.currentText) self.highlightString(stringToReplace) def initTextWidget(self): # initialises text widget # used the below link to make it stop resizing on font change # http://stackoverflow.com/questions/9833698/ # python-tkinter-how-to-stop-text-box-re-size-on-font-change self.textWidgetContainer = Frame(self.root, borderwidth = 1, relief = "sunken", width = 600, height = 400) self.textWidgetContainer.grid_propagate(False) self.textWidgetContainer.pack(side = TOP, fill = "both", expand = True) self.textWidgetContainer.grid_rowconfigure(0, weight=1) self.textWidgetContainer.grid_columnconfigure(0, weight=1) self.textWidget = ScrolledText(self.textWidgetContainer, width = 10, font = self.font, background =self.textWidgetBackGround) self.textWidget.grid(row = 0, column = 0, sticky = "nsew") self.textWidget.config(insertbackground = self.cursorColor, foreground = self.textWidgetDefaultFontColor, tabs = ("%dc"%self.tabWidth,"%dc"%(2*self.tabWidth)), undo = True) def initFont(self): self.currentFont = "Arial" self.fontSize = 15 self.font = tkFont.Font(family = self.currentFont, size = self.fontSize) def initProgrammingModeAttributes(self): self.programmingMode = False self.errorDetectionMode = False self.colorScheme = None self.defaultColorScheme = "monokai" self.lexer = None def initMoreGeneralAttributes(self): self.hostingServer = False self.hostIP = None self.joinedServerIP = None self.server = None self.client = None self.spellCorrector = SpellCorrector() self.root.wm_title("Untitled") self.commentButX = self.width - 300 self.commentButY = 10 self.commentButWidth = 200 self.commentButHeight = self.height - 10 def initGeneralAttributes(self): # general editor attributes self.currentText,self.tabWidth = "",1 self.rulerWidth,self.currentFilePath = None,None self.currentFile = None self.fileExtension = None self.suggestionDict = dict() self.indentationLevel = 0 self.prevChar = None self.spellCorrection = False self.clipboard = "" self.comments = ["comments"] self.collaborativeCodingMode = False self.insertColor = "Black" self.initMoreGeneralAttributes() def initTextWidgetAttributes(self): self.textWidgetBackGround = "White" self.textWidgetDefaultFontColor = "Black" self.textWidgetTabSize = "" self.cursorColor = "Black" def initAttributes(self): self.initGeneralAttributes() self.initFont() self.initProgrammingModeAttributes() self.initTextWidgetAttributes() def addEditMenu(self): self.editMenu = Menu(self.menuBar, tearoff = 0) self.editMenu.add_command(label = "Undo", command = self.undo) self.editMenu.add_command(label = "Redo", command = self.redo) self.editMenu.add_command(label = "Cut", command = self.cut) self.editMenu.add_command(label = "Copy", command = self.copy) self.editMenu.add_command(label = "Paste", command = self.paste) self.editMenu.add_command(label = "Increase Font", command = self.increaseFontSize) self.editMenu.add_command(label = "Decrease Font", command = self.decreaseFontSize) self.menuBar.add_cascade(label = "Edit", menu = self.editMenu) def addFileMenu(self): self.fileMenu = Menu(self.menuBar, tearoff = 0) self.fileMenu.add_command(label = "Open", command = self.openFile) self.fileMenu.add_command(label = "New File", command = self.newTab) self.fileMenu.add_command(label = "Save", command = self.saveFile) self.fileMenu.add_command(label = "Save As", command = self.saveAs) self.menuBar.add_cascade(label = "File", menu = self.fileMenu) def setFileExtension(self, ext): # sets file extension self.fileExtension = ext self.programmingMode = True try: self.lexer = pygments.lexers.guess_lexer_for_filename("example%s"%self.fileExtension,[]) except: self.lexer = pygments.lexers.guess_lexer_for_filename("example.py",[]) self.highlightText() def setColorScheme(self, colorScheme): self.colorScheme = colorScheme self.programmingMode = True # assumes start from python if(not self.lexer): self.lexer = pygments.lexers.guess_lexer_for_filename("example.py",[]) self.fileExtension = ".py" self.highlightText() # should have radio buttons for this def turnOnErrorDetection(self): self.errorDetectionMode = True self.setFileExtension(".py") def turnOffErrorDetection(self): self.errorDetectionMode = False def turnOnSpellCorrection(self): self.spellCorrection = True def turnOffSpellCorrection(self): self.spellCorrection = False def addErrorDetectionMenu(self): self.errorDetectionMenu = Menu(self.menuBar, tearoff = 0) self.errorDetectionMenu.add_command(label = "Python error detection ON", command = self.turnOnErrorDetection) self.errorDetectionMenu.add_command(label = "Python error detection OFF", command = self.turnOffErrorDetection) self.viewMenu.add_cascade(label = "Error Detection", menu = self.errorDetectionMenu) def addSpellCorrectionMenu(self): self.spellCorrectionMenu = Menu(self.menuBar, tearoff = 0) self.spellCorrectionMenu.add_command(label = "Spelling Correction ON", command = self.turnOnSpellCorrection) self.spellCorrectionMenu.add_command(label = "Spelling Correction OFF", command = self.turnOffSpellCorrection) self.viewMenu.add_cascade(label = "Spelling Correction", menu = self.spellCorrectionMenu) def addColorSchemeCommand(self, name): self.colorSchemeMenu.add_command(label = name, command = lambda : self.setColorScheme(name)) def addColorSchemeMenu(self): # colorScheme Menu self.colorSchemeMenu = Menu(self.menuBar, tearoff = 0) self.addColorSchemeCommand("manni") self.addColorSchemeCommand("igor") self.addColorSchemeCommand("xcode") self.addColorSchemeCommand("vim") self.addColorSchemeCommand("autumn") self.addColorSchemeCommand("vs") self.addColorSchemeCommand("rrt") self.addColorSchemeCommand("native") self.addColorSchemeCommand("perldoc") self.addColorSchemeCommand("borland") self.addColorSchemeCommand("tango") self.addColorSchemeCommand("emacs") self.addColorSchemeCommand("friendly") self.addColorSchemeCommand("monokai") self.addColorSchemeCommand("paraiso-dark") self.addColorSchemeCommand("colorful") self.addColorSchemeCommand("murphy") self.addColorSchemeCommand("bw") self.addColorSchemeCommand("pastie") self.addColorSchemeCommand("paraiso-light") self.addColorSchemeCommand("trac") self.addColorSchemeCommand("default") self.addColorSchemeCommand("fruity") self.menuBar.add_cascade(label = "Color Scheme", menu = self.colorSchemeMenu) def addLanguageCommand(self, language, extension): self.syntaxMenu.add_command(label = language, command = lambda : self.setFileExtension(extension)) def addSyntaxMenu(self): self.syntaxMenu = Menu(self.menuBar, tearoff = 0) self.addLanguageCommand("Python",".py") self.addLanguageCommand("C++",".cpp") self.addLanguageCommand("Javascript",".js") self.addLanguageCommand("Java",".java") self.addLanguageCommand("HTML",".html") self.addLanguageCommand("CSS",".css") self.addLanguageCommand("PHP",".php") self.addLanguageCommand("Haskell",".hs") self.addLanguageCommand("Clojure",".clj") self.addLanguageCommand("CoffeeScript",".coffee") self.addLanguageCommand("AppleScript",".scpt") self.addLanguageCommand("Objective C",".h") self.addLanguageCommand("Scheme",".scm") self.addLanguageCommand("Ruby",".rb") self.addLanguageCommand("OCaml",".ml") self.addLanguageCommand("Scala",".scala") self.viewMenu.add_cascade(label = "Syntax", menu = self.syntaxMenu) self.menuBar.add_cascade(label = "View", menu = self.viewMenu) def addViewMenu(self): self.viewMenu = Menu(self.menuBar, tearoff = 0) # syntax Menu self.addSyntaxMenu() self.addColorSchemeMenu() self.addErrorDetectionMenu() self.addSpellCorrectionMenu() def displayMessageBox(self, title = "", text = ""): tkMessageBox.showinfo(title, text) def startServer(self): # starts a new thread running the server self.collaborativeCodingMode = True start_new_thread(self.server.acceptConnection(),()) def startRecieving(self): # starts a new thread to recieve data start_new_thread(self.client.recieveData,()) def collaborateWrapper(self): # starts collaborative mode if(not self.collaborativeCodingMode): self.server = Server() host = self.server.getHost() self.hostingServer = True self.hostIP = host self.client = Client(host) start_new_thread(self.startServer,()) start_new_thread(self.startRecieving,()) self.client.sendData(";".join(self.comments)) time.sleep(.01) self.client.sendData(self.currentText) def joinServer(self): # starts a new thread to recieve data start_new_thread(self.client.recieveData,()) def joinServerWrapper(self): # join a server for collaboration if(not self.collaborativeCodingMode): try: self.collaborativeCodingMode = True title = "Host IP address" message = "Enter IP address of server to link to." host = tkSimpleDialog.askstring(title,message) if(host == None): self.collaborativeCodingMode = False return self.joinedServerIP = host self.client = Client(host) start_new_thread(self.joinServer,()) except: self.collaborativeCodingMode = False self.joinedServerIP = None print "Server isn't running" self.displayMessageBox("Error","Server isn't running") def addNetworkMenu(self): self.networkMenu = Menu(self.menuBar, tearoff = 0) self.networkMenu.add_command(label = "Collaborate| Create new server", command = self.collaborateWrapper) self.networkMenu.add_command(label = "Collaborate| Join server", command = self.joinServerWrapper) self.menuBar.add_cascade(label = "Collaborative", menu = self.networkMenu) def addFindMenu(self): self.findMenu = Menu(self.menuBar, tearoff = 0) self.findMenu.add_command(label = "Search", command =self.searchInText) self.findMenu.add_command(label = "Find and Replace", command = self.findAndReplaceInText) self.menuBar.add_cascade(label = "Find", menu = self.findMenu) def showHelp(self): self.helpCanvasRoot = Tk() self.helpCanvas = Canvas(self.helpCanvasRoot, width = 600, height = 600) self.helpCanvasRoot.wm_title("Collaborative Coder | Help") self.helpCanvas.pack() canvas = self.helpCanvas canvas.create_rectangle(0,0,600,600,fill="Grey") canvas.create_text(300,30,text = "Collaborative Coder!", font = "Arial 30 bold italic underline") canvas.create_rectangle(8,48,592,596,fill = "White", width = 2) message = """ 1. Find all options on the top of the screen in the menu bar. 2. There are two boxes on the screen which hold comments and suggestions(Autocomplete and Spelling Correction) respectively. To choose a suggestion double click on it. 3. To enable syntax highlighting choose the programming language in View --> Syntax menu. 4. Choose the color scheme you want in the color scheme menu. 5. Press Command+B to compile python code. 6. Turn on or off dynamic python error detection and spelling correction from view menu. 7. To collaborate with others you can either start a server or join a server 1. To start a server click Collaboration --> Start New Server This will display your IP address in the bottom which your friend will join. 2. To join click Collaboration --> Join Server Enter server IP you want to join and click OK. 8. To annotate select a piece of text and press the comment button in the bottom right. When your cursor shows up in those indices the annotation will show up in the comments box. """ canvas.create_text(10,50,text = message, anchor = "nw", fill = "Dark Blue", font = "Arial 18 bold") canvas.mainloop() def showAbout(self): self.aboutCanvasRoot = Tk() self.aboutCanvas = Canvas(self.aboutCanvasRoot, width = 600,height =670) self.aboutCanvasRoot.wm_title("Collaborative Coder | About") self.aboutCanvas.pack() self.aboutCanvas.create_rectangle(0,0,600,670,fill="Grey") self.aboutCanvas.create_text(300,30,text = "Collaborative Coder!", font = "Arial 30 bold italic underline") self.aboutCanvas.create_rectangle(8,48,592,652,fill = "White", width = 2) message = """ This is a text editor application made by Manik Panwar for the course 15-112 Fundamentals of programming and computer science at Carnegie Mellon University, which you can use to edit text documents and write code. Not only can you do this on your own machine but you can also collaborate with friends live on different computers through the internet and edit the same text documents; all the while commenting and annotating the text which automatically shows up on your friends computer. Apart from all the general text editor features this also supports syntax highlighting for all major languages, autocompletion(which show up in the suggestion box), autoindenation, auto parentheses completion, spelling correction, dynamic python error detection, multiple text editor color schemes and live collaboration with others on other machines. For collaborating with a friend you can either create a server and ask your friends to join your server or join an already running server. All you have to do now is choose a language from the syntax menu, choose your color scheme and preferences, set up collaboration with a friend, and get started on that 15-112 inspired project you are now about to do! """ self.aboutCanvas.create_text(10,50,text = message, anchor = "nw", fill = "Dark Blue", font = "Arial 18 bold") self.aboutCanvasRoot.mainloop() def addHelpMenu(self): self.helpMenu = Menu(self.menuBar, tearoff = 0) self.helpMenu.add_command(label = "Help", command = self.showHelp) self.helpMenu.add_command(label = "About", command = self.showAbout) self.menuBar.add_cascade(label = "Help", menu = self.helpMenu) def initListBox(self): self.suggestionBox = Listbox(self.root, width = 50, height = 5,selectmode = SINGLE) self.scrollbar = Scrollbar(self.root, orient = VERTICAL) self.scrollbar.config(command = self.suggestionBox.yview) self.scrollbar.pack(side = RIGHT,fill = Y) self.suggestionBox.config(yscrollcommand = self.scrollbar.set, background = "Grey") self.suggestionBox.pack(side = RIGHT) self.suggestionBox.insert(END, "Suggestions(Autocomplete and Spelling correction):") def initCommentBox(self): self.commentBoxFontSize = 20 self.commentBox = Listbox(self.root, width = 180,height = 5, selectmode = SINGLE) self.commentScrollbar = Scrollbar(self.root, orient = VERTICAL) self.commentScrollbar.config(command = self.commentBox.yview) self.commentScrollbar.pack(side = RIGHT,fill = Y) self.commentBoxFont = tkFont.Font(family = self.currentFont, size = self.commentBoxFontSize) self.commentBox.config(yscrollcommand = self.commentScrollbar.set, background = "Grey", foreground = "Black", font = self.commentBoxFont) self.commentBox.pack(side = RIGHT, fill = X) self.commentBox.insert(END,"Comments (if any) in current cursor index:") def initMenuBar(self): # init menuBar self.menuBar = Menu(self.root) # file menu option self.addFileMenu() # Edit menu option self.addEditMenu() # Find menu option self.addFindMenu() # View menu option self.addViewMenu() # Network menu self.addNetworkMenu() # Help menu self.addHelpMenu() self.root.config(menu = self.menuBar) def onTabPressed(self, event): if(self.fileExtension == ".py"): self.indentationLevel += 1 def bindEvents(self): self.textWidget.bind("<Tab>",lambda event: self.onTabPressed(event)) self.suggestionBox.bind("<Double-Button-1>", lambda event: self.replaceWord(event)) def indent(self): if(self.fileExtension == ".py"): self.textWidget.insert("insert","\t"*self.indentationLevel) def modifyIndent(self, event): # modifies indentation based on python rules if(self.fileExtension == ".py"): if(event.char == ":"): self.indentationLevel += 1 elif(event.keysym == "BackSpace"): line = self.textWidget.get("insert linestart","insert lineend") flag = True for c in line: if not((c == " ") or (c == "\t")): flag = False break if(flag): self.indentationLevel = (self.indentationLevel - 1 if self.indentationLevel>=1 else 0) def completeParens(self, event): # autocomplete parens if(event.char == "{" and self.programmingMode): self.textWidget.insert("insert","\n"+"\t"*self.indentationLevel+"}") self.currentText = self.textWidget.get(1.0,END) elif(event.char == "(" and self.programmingMode): self.textWidget.insert("insert",")") self.currentText = self.textWidget.get(1.0,END) def replaceWord(self,event): # replaces a word on double click in suggestion box word = self.getCurrentWord() self.textWidget.delete("insert - %dc"%(len(word)),"insert") wordToReplace = "" if(self.suggestionBox.curselection()): wordToReplace = self.suggestionBox.get( self.suggestionBox.curselection()) if(wordToReplace != "Suggestions(Autocomplete and Spelling correction):"): self.textWidget.insert("insert", wordToReplace) self.resetSuggestions() def calculateSuggestions(self): # populates suggestion box self.suggestionBox.delete(0,END) self.suggestionDict = dict() currentWord = self.getCurrentWord() self.findMatchesToWord(currentWord) self.suggestionBox.insert(END, "Suggestions(Autocomplete and Spelling correction):") for key in self.suggestionDict: self.suggestionBox.insert(END,key) if(self.spellCorrection): correctSpelling = self.spellCorrector.correct(currentWord) if(not currentWord.startswith(correctSpelling)): self.suggestionBox.insert(END, correctSpelling) def resetSuggestions(self): self.suggestionBox.delete(0,END) self.suggestionBox.insert(END, "Suggestions(Autocomplete and Spelling correction):") self.suggestionDict = dict() def compilePythonCode(self): if(self.currentFile): self.saveFile() original_stdout = sys.stdout try: a = compiler.compile(self.currentText, self.currentFile, mode = "exec") # (http://stackoverflow.com/questions/4904079/ # execute-a-block-of-python-code-with-exec-capturing-all-its-output) # captures stdout in temp stringIO buffer to get output # and then reverts changes buffer = StringIO() sys.stdout = buffer eval(a) sys.stdout = original_stdout val = buffer.getvalue() rt = Tk() outputText = ScrolledText(rt, width = 50) outputText.insert(END, val) outputText.pack() rt.mainloop() except: print "Error!" self.displayMessageBox("Error","There is an error in the code.") sys.stdout = original_stdout else: self.saveAs() def getLineAndColFromIndex(self, index): return int(index.split('.')[0]),int(index.split('.')[1]) def checkIfInCommonRange(self, comment): # check if insert is in range of any comment index = self.textWidget.index("insert") indexCStart = comment[0] indexCEnd = comment[1] line,col = self.getLineAndColFromIndex(index) line1,col1 = self.getLineAndColFromIndex(indexCStart) line2,col2 = self.getLineAndColFromIndex(indexCEnd) if((line>line1 and line<line2) or (line == line1 and col>=col1 and (line1!=line2 or col<=col2)) or (line == line2 and col<=col2 and (line1!=line2 or col>=col1))): return True else: return False def checkComments(self): self.commentBox.delete(0,END) self.commentBox.insert(END,"Comments (if any) in current cursor index:") for comment in self.comments: if("|" in comment): comment = comment.split("|") if(self.checkIfInCommonRange(comment)): self.commentBox.insert(END, comment[2]) def onKeyPressed(self, event): ctrl = ((event.state & 0x0004) != 0) shift = ((event.state & 0x0001) != 0) command = ((event.state & 0x0008) != 0) flag = False self.checkComments() if(self.textWidget.get(1.0,END)!=self.currentText): flag = True if(event.char.isalpha()): self.calculateSuggestions() if(event.keysym == "Return" and self.fileExtension == ".py"): self.indent() if(event.keysym in ["Return"," ","\n","\t","BackSpace","space"]): self.resetSuggestions() self.currentText = self.textWidget.get(1.0,END) self.modifyIndent(event) self.completeParens(event) if((flag) and self.collaborativeCodingMode): self.client.sendData(self.currentText) if(self.programmingMode): if((command and event.keysym in "vV")): self.highlightText() else: insertLineNumber = int(self.textWidget.index( "insert").split(".")[0]) self.highlightText( str(insertLineNumber),"0", (event.keysym!="Return" and not self.collaborativeCodingMode) ) if(self.fileExtension == ".py" and command and event.keysym in "bB"): self.compilePythonCode() def onMousePressed(self, event): # remove search tag if it exists self.textWidget.tag_delete("search") self.checkComments() if((event.x>=self.commentButX) and (event.x<=(self.commentButX + self.commentButWidth)) and (event.y>=self.commentButY) and (event.y<=(self.commentButY + self.commentButHeight))): self.commentCode() def onTimerFired(self): pass def redrawAll(self): # draws info onto canvas self.canvas.delete(ALL) self.canvas.create_rectangle(0,0,self.width,self.height,fill = "Black") self.canvas.create_rectangle(self.commentButX,self.commentButY, self.commentButX+self.commentButWidth, self.commentButY+self.commentButHeight,fill = "Grey") self.canvas.create_text(self.commentButX + self.commentButWidth/2, self.commentButY + self.commentButHeight/2,text = "Comment") self.canvas.create_text(400,10, text = "Press help in the menu bar to get started", fill = "White") if(self.programmingMode): self.canvas.create_text(600,10, text = "Programming mode on",fill="Green") if(self.errorDetectionMode): self.canvas.create_text(600,25, text = "Error detection mode on",fill = "Green") if(self.spellCorrection): self.canvas.create_text(600,40, text = "Spelling Correction on",fill = "Green") a = self.textWidget.index("insert") ln = int(a.split(".")[0]) l = self.textWidget.get("insert linestart","insert") cn = 1 for c in l: if(c == "\t"): cn += 4*self.tabWidth else: cn += 1 self.canvas.create_text(100,10,text="Row:%d Column:%d"%(ln,cn), fill = "White") self.canvas.create_text(850,30,text = "Collaborative Coder!", fill = "Grey", font = "Arial 30 bold") if(self.hostingServer): self.canvas.create_text(400,30, text = "Hosting server at IP: %s"%(self.hostIP),fill="White") elif(self.joinedServerIP): self.canvas.create_text(400,30, text = "Joined server at IP: %s"%(self.joinedServerIP), fill = "White") def initAnimation(self): self.timerCounter = 10000 self.initAttributes() self.initTextWidget() self.initMenuBar() self.initListBox() self.initCommentBox() self.bindEvents()
class Example(Frame): def __init__(self, master): Frame.__init__(self, master) self.master = master self.initUI() def initUI(self): #self.topMessage = StringVar() self.master.title("ZDRa Interface") self.pack(fill=BOTH, expand=1, side=LEFT) m1 = PanedWindow(self.master, width=750) m1.pack(fill=BOTH, expand=1) scrollbar = Scrollbar(self) scrollbar.pack(side=RIGHT, fill=Y) menubar = Menu(self.master) self.master.config(menu=menubar) fileMenu = Menu(menubar) zcgaMenu = Menu(menubar) zdraMenu = Menu(menubar) gpsaMenu = Menu(menubar) fileMenu.add_command(label="Open", command=self.onOpen) zcgaMenu.add_command(label="ZCGa Check", command=self.zcgacheck) zdraMenu.add_command(label="ZDRa Check", command=self.zdracheck) #zdraMenu.add_command(label = "Totalise Spec", command=self.totalisespec) #zdraMenu.add_command(label = "Add Refinements") gpsaMenu.add_command(label="Proof Skeleton", command=self.createskeleton) gpsaMenu.add_command(label="ProofPower-Z Skeleton", command=self.createppgpsa) gpsaMenu.add_command(label="Isabelle Skeleton", command=self.createIsaPS) gpsaMenu.add_command(label="FillInIsaSkeleton", command=self.fillInIsa) menubar.add_cascade(label="File", menu=fileMenu) menubar.add_cascade(label="ZCGa", menu=zcgaMenu) menubar.add_cascade(label="ZDRa", menu=zdraMenu) menubar.add_cascade(label="GPSa", menu=gpsaMenu) self.txt = Text(self, yscrollcommand=scrollbar.set) self.txt.pack(fill=BOTH, expand=1) self.m2 = PanedWindow(m1, orient=VERTICAL) m1.add(self.m2) toplabel = Label(self.m2, text="Messages") toplabel.pack() self.top = ScrolledText(self.m2, wrap=WORD, state=DISABLED) self.m2.add(self.top) self.top.pack() bottomlabel = Label(self.m2, text="User input") bottomlabel.pack() self.bottom = ScrolledText(self.m2, wrap=WORD) self.m2.add(self.bottom) self.bottom.pack() scrollbar.config(command=self.txt.yview) self.txt.insert( END, "Please choose a specification by clicking on file then open") b = Button(self.m2, text="Submit Message", command=self.submitbutton) b.pack() self.file_opt = options = {} options['defaultextension'] = '.thy' options['filetypes'] = [('thy files', '.thy'), ('all files', '.*')] #self.topMessage.set("Please pick a specification from the top left") def totalisespec(self): self.gpsalocation = totalise.findgpsa(self.fl) if os.path.isfile(self.gpsalocation): self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Found Specifications") self.top.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Please convert specification into GPSa first") self.top.config(state=DISABLED) def zdracheck(self): zdracheck.totalcheck(self.fl) #self.thedepgraph = zdracheck.creatdepgraphplot(self.fl) #self.thegoto = zdracheck.createplot(self.fl) self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, zdracheck.printoutput()) self.top.config(state=DISABLED) self.depbutton = Button(self.m2, text="Show Dependency", command=self.showDependency) self.depbutton.pack() self.gotobutton = Button(self.m2, text="Show GoTo", command=self.showGoTo) self.gotobutton.pack() def zcgacheck(self): zcga.specCorrect(self.fl) self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, zcga.printoutput()) self.top.config(state=DISABLED) def showGoTo(self): self.goto_location = totalise.find_goto_name(self.fl) gotoWindow = Toplevel() gotoWindow.title("GoTo Graph") canvas = Canvas(gotoWindow, width=600, height=600) canvas.pack() #photoimage = ImageTk.PhotoImage(file=self.goto_location) # canvas.create_image(300, 300, image=photoimage) gotoWindow.pack() #zdracheck.showplot(self.thegoto) def showDependency(self): self_dep_location = totalise.find_dp_name(self.fl) gotoWindow = Toplevel() gotoWindow.title("Dep Graph") canvas = Canvas(gotoWindow, width=600, height=600) canvas.pack() # photoimage = ImageTk.PhotoImage(file=self_dep_location) # canvas.create_image(300, 300, image=photoimage) gotoWindow.pack() #zdracheck.showplot(self.thedepgraph) def showgpsa(self): self.gpsalocation = totalise.findgpsa(self.fl) if os.path.isfile(self.gpsalocation): gpsawindow = Toplevel() gpsawindow.title("ProofPower Skeleton") gpsaspec = ScrolledText(gpsawindow, wrap=WORD) gpsaspec.pack() gpsaspecif = self.readFile(self.gpsalocation) gpsaspec.config(state=NORMAL) gpsaspec.insert(END, gpsaspecif) gpsaspec.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Please convert specification into GPSa first") self.top.config(state=DISABLED) def showIsaSkel(self): self.Isalocation = totalise.findisagpsa(self.fl) if os.path.isfile(self.Isalocation): isawindow = Toplevel() isawindow.title("Isabelle Skeleton") isaspec = ScrolledText(isawindow, wrap=WORD) isaspec.pack() isaspecif = self.readFile(self.Isalocation) isaspec.config(state=NORMAL) isaspec.insert(END, isaspecif) isaspec.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert( END, "Please convert specification into Isabelle Skeleton first") self.top.config(state=DISABLED) def fillInIsa(self): self.Isalocation = totalise.findisagpsa(self.fl) if os.path.isfile(self.Isalocation): if ('\\usepackage{zmathlang}' in open( self.fl).read()) or ('\\usepackage{zmathlang}' in open( self.fl).read()): self.Isalocation = totalise.findisagpsa(self.fl) zdra.x.fillinIsa(self.fl, self.Isalocation) zdra.x.fillinIsa(self.fl, self.Isalocation) zdra.x.fillNames(self.Isalocation) self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Isabelle Skeleton successfully filled in ") self.top.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Please select your isabelle skeleton:") self.top.config(state=DISABLED) filename = tkFileDialog.askopenfilename(**self.file_opt) zdra.x.fillinIsa(self.fl, filename) zdra.x.fillinIsa(self.fl, filename) zdra.x.fillNames(filename) self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Isabelle Skeleton successfully filled in ") self.top.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert( END, "Please convert specification into Isabelle Skeleton first") self.top.config(state=DISABLED) def askopenfilename(self): filename = tkFileDialog.askopenfilename(**self.file_opt) if filename: print filename def createppgpsa(self): zdra.createPPZskel(self.fl) self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "ProofPower-Z Skeleton Created") self.top.config(state=DISABLED) self.gpsabutton = Button(self.m2, text="Show PP Skeleton", command=self.showgpsa) self.gpsabutton.pack() def createIsaPS(self): zdra.createIsaskel(self.fl) self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Isabelle Skeleton Created") self.top.config(state=DISABLED) self.gpsabutton = Button(self.m2, text="Show Isabelle Skeleton", command=self.showIsaSkel) self.gpsabutton.pack() def showskeleton(self): self.skel_location = zdracheck.findskeleton(self.fl) if os.path.isfile(self.skel_location): skelwindow = Toplevel() skelwindow.title("Generalised Skeleton") skelspec = ScrolledText(skelwindow, wrap=WORD) skelspec.pack() skelspecif = self.readFile(self.skel_location) skelspec.insert(END, skelspecif) skelspec.config(state=DISABLED) else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Please convert specification into GPSa first") self.top.config(state=DISABLED) def createskeleton(self): if zdracheck.isthereanyloops() == False: zdracheck.createskeleton(self.fl) self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Skeleton Created") self.top.config(state=DISABLED) self.skelbutton = Button(self.m2, text="Show Skeleton", command=self.showskeleton) self.skelbutton.pack() else: self.top.config(state=NORMAL) self.top.delete(1.0, END) self.top.insert(END, "Loops in reasoning \nCan not create Skeleton") self.top.config(state=DISABLED) def submitbutton(self): print self.bottom.get("1.0", "end-1c") def onOpen(self): ftypes = [('Tex files', '*.tex'), ('All files', '*')] dlg = tkFileDialog.Open(self, filetypes=ftypes) self.fl = dlg.show() if self.fl != '': self.txt.delete(1.0, END) self.text = self.readFile(self.fl) self.txt.insert(END, self.text) self.top.config(state=NORMAL) self.top.delete(1.0, END) def readFile(self, filename): f = open(filename, "r") text = f.read() return text
class GUI: queue = [] client_socket = None text = None #root = Tkinter.Tk(className=" Collaborative Text Editor") #textPad = ScrolledText(root, width=100, height=80) def __init__(self, file, socket): self.queue = [] self.client_socket = socket self.text = text_file.File() self.text.download_from_txt(file) root = Tkinter.Tk(className=" Collaborative Text Editor") self.textPad = ScrolledText(root, width=100, height=80) menu = Menu(root) root.config(menu=menu) filemenu = Menu(menu) menu.add_cascade(label="File", menu=filemenu) filemenu.add_command(label="Save", command=self.save_command) filemenu.add_separator() filemenu.add_command(label="Exit", command=self.exit_command) helpmenu = Menu(menu) menu.add_cascade(label="Help", menu=helpmenu) helpmenu.add_command(label="About...", command=self.about_command) # Insert given text if file: f = open(file, 'r') self.textPad.insert(END, f.read()) # Keybord bindings to virtual events self.textPad.bind("<Button-1>", self.mouse_button) self.textPad.bind("<Control-v>", self.key_disable) self.textPad.bind("<Control-c>", self.key_disable) self.textPad.bind("<Shift_L>", self.key_shift) self.textPad.bind("<Delete>", self.key_disable) self.textPad.bind("<Tab>", self.key_disable) self.textPad.bind("<Insert>", self.key_disable) self.textPad.bind("<Return>", self.key_enter) self.textPad.bind("<BackSpace>", self.key_backspace) self.textPad.bind("<Key>", self.key_press) self.textPad.bind("<KeyRelease>", self.key) self.textPad.pack() root.bind('<<send_recv>>', self.send_receive) def heartbeat(): while True: time.sleep(0.5) root.event_generate('<<send_recv>>', when='tail') th = Thread(None, heartbeat) th.setDaemon(True) th.start() root.mainloop() def send_receive(self, event): #print "Good" if self.queue: self.client_socket.send(self.queue.pop(0)) print self.queue else: self.client_socket.send('Nothing') triple = self.client_socket.recv(1024) triple_list = self.get_triples(triple) for triple in triple_list: insert = self.text.parse_triple(triple) self.text.change(insert[0], insert[1], insert[2]) if insert[2] == "bs": if insert[1] == -1: self.textPad.insert("%d.0" % (insert[0] - 1), "%d.end" % insert[0], self.text.rows[insert[0] - 1]) else: self.textPad.delete( "%d.%d" % (insert[0] + 1, insert[1]), "%d.%d" % (insert[0] + 1, insert[1] + 1)) elif insert[2] == "ent": self.textPad.insert("%d.%d" % (insert[0] + 1, insert[1]), "\n") else: self.textPad.insert("%d.%d" % (insert[0] + 1, insert[1]), insert[2]) def get_triples(self, input_triple): output = [] while "(" in input_triple: left_index = input_triple.index("(") right_index = input_triple.index(")") output.append(input_triple[left_index:right_index + 1]) input_triple = input_triple[right_index + 1:] return output #Function raises by Tk events. def save_command(self): file = tkFileDialog.asksaveasfile(mode='w') if file != None: # slice off the last character from get, as an extra return is added data = self.textPad.get('1.0', END + '-1c') file.write(data) file.close() def exit_command(self, root): if tkMessageBox.askokcancel("Quit", "Do you really want to quit?"): root.destroy() def about_command(self): label = tkMessageBox.showinfo( "About", "Collaborative text editor \n Developed by Bachinskiy A., Shapaval R., \ Shuchorukov M., Tkachuk D. using Tk.tkinter.\n No rights left to reserve :)" ) #Here come all button handlers def key_enter(self, event): s = self.textPad.index(INSERT) self.add_to_queue(s, "ent") def key_backspace(self, event): s = self.textPad.index(INSERT) self.add_to_queue(s, "bs") def key_disable(self, event): self.textPad.config(state=DISABLED) global disableFlag disableFlag = True def mouse_button(self, event): self.textPad.config(state=NORMAL) def key_shift(self, event): global shiftFlag shiftFlag = True def key(self, event): #print event.keycode global disableFlag global shiftFlag if disableFlag == True: #print "disabled" if event.keysym != "v": disableFlag = False else: #print event.keycode #Shift handling if shiftFlag == True: s = self.textPad.index(INSERT) self.add_to_queue(s) shiftFlag = False else: #Block output for Arrows keys if event.keysym == "Down" or event.keysym == "Up" or \ event.keysym == "Right" or event.keysym == "Left": print event.keysym return #Block output for Ctrl, Shift, BackSpace, Tab, Delete, etc if event.keysym == "Alt_L" or event.keysym == "Alt_R" or \ event.keysym == "BackSpace" or event.keysym == "Delete" or \ event.keysym == "Control_L" or event.keysym == "Control_R" or \ event.keysym == "Shift_L" or event.keysym == "Shift_R" or \ event.keysym == "Tab" or event.keysym == "Return": print event.keysym return self.textPad.config(state=NORMAL) s = self.textPad.index(INSERT) self.add_to_queue(s) def key_press(self, event): self.textPad.config(state=DISABLED) time.sleep(0.2) self.textPad.config(state=NORMAL) def add_to_queue(self, s, key=""): point_index = s.index(".") index1 = int(s[:point_index]) index2 = int(s[point_index + 1:]) out = self.textPad.get("%d.%d" % (index1, index2 - 1), "%d.%d" % (index1, index2)) if key: if key == "ent": self.queue.append("(%d,%d,%s)" % (index1 - 1, index2, key)) if key == "bs": self.queue.append("(%d,%d,%s)" % (index1 - 1, index2 - 1, key)) else: self.queue.append("(%d,%d,%s)" % (index1 - 1, index2 - 1, out)) print self.queue
class HTMLViewer(Toplevel): """ Basic class which provides a scrollable area for viewing HTML text and a Dismiss button """ def __init__(self, htmlcode, title, master=None): Toplevel.__init__(self, master) #self.protocol('WM_DELETE_WINDOW',self.withdraw) self.titleprefix = title color = self.config("bg")[4] borderFrame = Frame(self, relief=SUNKEN, bd=2) # Extra Frame self.text = ScrolledText(borderFrame, relief=FLAT, padx=3, pady=3, background='white', #background=color, #foreground="black", wrap='word', width=60, height=20, spacing1=3, spacing2=2, spacing3=3) self.text.pack(expand=1, fill=BOTH) #self.text.insert('0.0', text) self.text['state'] = DISABLED borderFrame.pack(side=TOP,expand=1,fill=BOTH) box = Frame(self) w = Button(box, text="Dismiss", width=10, command=self.doWithdraw, default=ACTIVE) w.pack(side=RIGHT, padx=5, pady=5) self.bind("<Return>", self.doWithdraw) box.pack(side=BOTTOM,fill=BOTH) self.setStyle() self.insert(htmlcode) def setStyle(self): baseSize = 14 self.text.config(font="Times %d" % baseSize) self.text.tag_config('h1', font="Times %d bold" % (baseSize + 8)) self.text.tag_config('h2', font="Times %d bold" % (baseSize + 6)) self.text.tag_config('h3', font="Times %d bold" % (baseSize + 4)) self.text.tag_config('h4', font="Times %d bold" % (baseSize + 2)) self.text.tag_config('h5', font="Times %d bold" % (baseSize + 1)) self.text.tag_config('b', font="Times %d bold" % baseSize) self.text.tag_config('em', font="Times %d italic" % baseSize) self.text.tag_config('pre', font="Courier %d" % baseSize) self.text.tag_config('tt', font="Courier %d" % baseSize) def doWithdraw(self, event=None): # Need to eat optional event so that we can use is in both button and bind callback self.withdraw() def Update(self,htmlcode, title): self.titleprefix = title self.insert(htmlcode) def insert(self, htmlcode): self.text['state'] = NORMAL self.text.delete('0.0', END) writer = HTMLWriter(self.text, self) format = formatter.AbstractFormatter(writer) #parser = htmllib.HTMLParser(format) parser = MyHTMLParser(format, self.text) parser.nofill=False parser.feed(htmlcode) parser.close() self.text['state'] = DISABLED if parser.title != None: self.title(self.titleprefix + " - " + parser.title) else: self.title(self.titleprefix)