From 5b575fdfe3ae9b18ac9d47db17ffd21d628bd647 Mon Sep 17 00:00:00 2001 From: DarkPhoenix Date: Tue, 28 May 2019 17:30:50 +0300 Subject: [PATCH] Make sure panel has no padding to avoid ugly border on Windows --- gui/graphFrame.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gui/graphFrame.py b/gui/graphFrame.py index 6e86f43f9..a4d9c6c8d 100644 --- a/gui/graphFrame.py +++ b/gui/graphFrame.py @@ -145,7 +145,7 @@ class GraphFrame(wx.Frame): wx.EXPAND) self.graphCtrlPanel = wx.Panel(self) - self.mainSizer.Add(self.graphCtrlPanel, 0, wx.EXPAND | wx.ALL, 5) + self.mainSizer.Add(self.graphCtrlPanel, 0, wx.EXPAND | wx.ALL, 0) self.showY0 = True self.selectedY = None @@ -159,10 +159,10 @@ class GraphFrame(wx.Frame): viewOptSizer.Add(self.showY0Cb, 0, wx.LEFT | wx.TOP | wx.RIGHT | wx.EXPAND, 5) self.graphSubselSizer = wx.BoxSizer(wx.VERTICAL) viewOptSizer.Add(self.graphSubselSizer, 0, wx.ALL | wx.EXPAND, 5) - ctrlPanelSizer.Add(viewOptSizer, 0, wx.EXPAND | wx.ALL, 0) + ctrlPanelSizer.Add(viewOptSizer, 0, wx.EXPAND | wx.LEFT | wx.TOP | wx.BOTTOM, 5) self.inputsSizer = wx.FlexGridSizer(0, 4, 0, 0) self.inputsSizer.AddGrowableCol(1) - ctrlPanelSizer.Add(self.inputsSizer, 1, wx.EXPAND | wx.ALL, 0) + ctrlPanelSizer.Add(self.inputsSizer, 1, wx.EXPAND | wx.RIGHT | wx.TOP | wx.BOTTOM, 5) self.graphCtrlPanel.SetSizer(ctrlPanelSizer) self.drawTimer = wx.Timer(self)