def __init__(self, parent, editor: TextEditor, pdf_viewer: PDFViewer): super().__init__(parent, background='light grey') self.open = Button(self, text="+", background='light grey', command=lambda: pdf_viewer._zoom_in()) self.open.pack(side=RIGHT, pady=(5, 10), padx=(3, 10)) self.open = Button(self, text="-", background='light grey', command=lambda: pdf_viewer._zoom_out()) self.open.pack(side=RIGHT, pady=(5, 10), padx=(3, 10)) self.open = Button(self, text=">", background='light grey', command=lambda: pdf_viewer._next_page()) self.open.pack(side=RIGHT, pady=(5, 10), padx=(3, 10)) self.open = Button(self, text="Open", background='light grey', command=lambda: Discrept.view_discrept(pdf_viewer)) self.open.pack(side=RIGHT, pady=(5, 10), padx=(3, 3)) self.open = Button(self, text="<", background='light grey', command=lambda: pdf_viewer._prev_page()) self.open.pack(side=RIGHT, pady=(5, 10), padx=(3, 3)) self.run = Button( self, text="Run", background='light grey', command=lambda: Discrept.discrept(editor, pdf_viewer)) self.run.pack(side=RIGHT, pady=(5, 10), padx=(3, 3)) text = "Workspace: " + Settings.MAIN.get('last_workspace') self.label1 = Label(self, background='light grey', text=text, font="Verdana 16 underline bold") self.label1.pack(side=LEFT, pady=(5, 10))