Resizable Window/Widgets

Currently the window size and many widgets are locked down. Primarily it is Tkinter geometry mechanics for resizing that need implementing. Impermanence still needs to be a consideration, especially when dealing with UI components for newer SP features.

Its tricky to be more specific about applicability, it will take your judgement and always feel free to ask beforehand.

An initial, suggested list:

  • ConsoleViews (main) (mutual/horizontal sizing)
  • ConsoleViews (text) (font size)
  • Re-implementing upper & lower widgets to use 'grid' instead of 'place' with frames added/modified/discarded where necessary
  • Main window (main) (maximize)
  • Main window (main) (size)

The order should allow for sensible balance between early-as-possible use, and suitability for testing. Suggest edits/refinements/additions freely!