[#181] a few cosmetic touch ups, todo update

This commit is contained in:
Robin Scholtes 2023-04-21 00:15:31 +12:00
parent f1008cff56
commit d0e8863555
8 changed files with 36 additions and 24 deletions

View file

@ -336,8 +336,9 @@ class App {
*
* A note: there is some code repetition here ( re setDesktopLayout ),
* but I found some lingering gutters or odd behaviour on window resizing that is
* resolved by always destroying splitters. Now setDesktopLayout and setMobileLayout
* can be called on window resizing events and the switch gets handled smoothly.
* resolved by always destroying and rebuilding the splitters. Now setDesktopLayout
* and setMobileLayout can be called on window resizing events and the switch
* gets handled smoothly.
*/
setMobileLayout() {
if (this.columnSplitter) this.columnSplitter.destroy();
@ -353,7 +354,6 @@ class App {
this.ioSplitter = Split(["#input", "#output"], {
direction: "vertical",
gutterSize: 0,
minSize: [50, 50]
});
}