minor gui edit

Author: f8122dac91

src/main.py

@@ -20,6 +20,7 @@ def __init__(self, *args, **kwargs):
         self.root = self.winfo_toplevel()
         self.root.option_add("*Font", "serif 10 bold")
         self.root.title(" ".join((APPNAME, VERSION, "| Main")))
+        self.root.resizable(0,0)
         self.root.bind('<Key>', self.__keys) 
 
         # Menu
@@ -100,6 +101,7 @@ def __plot(self):
         except: pass
         self.plot_root = Toplevel(self)
         self.plot_root.title(" ".join((APPNAME, VERSION, "| Plot")))
+        self.plot_root.resizable(0,0)
         draw_figure(self.plot_root, self.pagerank)
         self.root.after(1, lambda : self.root.focus_force())
 

src/report.py

@@ -8,6 +8,7 @@ def __init__(self, *args, **kwargs):
         super().__init__(*args, **kwargs)
         self.root = self.winfo_toplevel()
         self.root.title(" ".join((APPNAME, VERSION, "| Report")))
+        self.root.resizable(0,0)
         self.items= None
         headers = ('Page', 'Rank', 'PageRank Value', 'Incoming')
         self.t = Scale(self, from_=0, to=1, label='n-th iteration',