# Now that logging is set up, continue loading the system.
-from joy.gui.textwidget import TextViewerWidget, tk, get_font
+from joy.gui.textwidget import TextViewerWidget, tk, get_font, make_main_window
from joy.gui.world import StackDisplayWorld
from joy.library import initialize, DefinitionWrapper
from joy.utils.stack import stack_to_string
def show_log(*args):
- log_window.wm_deiconify()
- log_window.update()
+ # log_window.wm_deiconify()
+ # log_window.update()
return args
world = StackDisplayWorld(repo, STACK_FN, REL_STACK_FN, dictionary=D)
-t = TextViewerWidget(world, **VIEWER_DEFAULTS)
-
-log_window = tk.Toplevel()
-# Make it so that you can't actually close the log window, if you try it
-# will just "withdraw" (which is like minifying but without a entry in
-# the taskbar or icon or whatever.)
-log_window.protocol("WM_DELETE_WINDOW", log_window.withdraw)
-log = TextViewerWidget(world, log_window, **VIEWER_DEFAULTS)
+top, t, log = make_main_window(world)
FONT = get_font('Iosevka', size=14) # Requires Tk root already set up.
return 'break'
def init(self, title, filename, repo_relative_filename, repo, font):
- self.set_window_title(title)
if os.path.exists(filename):
with open(filename) as f:
data = f.read()
# Prevent this from triggering a git commit.
self.update()
self._cancelSave()
- self.pack(expand=True, fill=tk.BOTH)
self.filename = filename
self.repo_relative_filename = repo_relative_filename
self.repo = repo
T.pack(expand=1, fill=tk.BOTH)
T.see(tk.END)
+
+
+def make_main_window(world):
+ m = tk.PanedWindow(orient=tk.HORIZONTAL)
+ m.winfo_toplevel().title('Thun')
+ m.pack(fill=tk.BOTH, expand=True)
+ H = 45
+ t = TextViewerWidget(world, m, width=128, height=H)
+ log = TextViewerWidget(world, m, width=73, height=H)
+ m.add(log)
+ m.add(t)
+ return m, t, log