def __init__(self):
Dialog.__init__(self, title='Help: excludes')
sizer = wx.BoxSizer(wx.VERTICAL)
sizer.Add(HtmlWindow(self, (800, 600), self.help),
1,
flag=wx.EXPAND)
self.SetSizerAndFit(sizer)
def __init__(self):
Dialog.__init__(self, title='Help: excludes')
# set Left to Right direction (while we don't have localization)
self.SetLayoutDirection(wx.Layout_LeftToRight)
sizer = wx.BoxSizer(wx.VERTICAL)
sizer.Add(HtmlWindow(self, (800, 600), self.help), 1, flag=wx.EXPAND)
self.SetSizerAndFit(sizer)
def __init__(self):
Dialog.__init__(self, title='RIDE')
# set Left to Right direction (while we don't have localization)
self.SetLayoutDirection(wx.Layout_LeftToRight)
sizer = wx.BoxSizer(wx.VERTICAL)
sizer.Add(HtmlWindow(self, (650, 200), ABOUT_RIDE), 1, flag=wx.EXPAND)
self.SetSizerAndFit(sizer)
def __init__(self):
Dialog.__init__(self, title="Shortcut keys for RIDE")
sizer = wx.BoxSizer(wx.HORIZONTAL)
sizer.Add(HtmlWindow(self, (350, 400),
self._get_platform_specific_shortcut_keys()),
1,
flag=wx.EXPAND)
self.SetSizerAndFit(sizer)
def __init__(self):
Dialog.__init__(self, title="Shortcut keys for RIDE")
# set Left to Right direction (while we don't have localization)
self.SetLayoutDirection(wx.Layout_LeftToRight)
sizer = wx.BoxSizer(wx.HORIZONTAL)
sizer.Add(HtmlWindow(self, (350, 400),
self._get_platform_specific_shortcut_keys()), 1,
flag=wx.EXPAND)
self.SetSizerAndFit(sizer)
def _create_ui(self, size):
panel = wx.MiniFrame(self)
panel.SetBackgroundColour(POPUP_BACKGROUND)
szr = VerticalSizer()
self._details = HtmlWindow(self, size=size)
szr.add_expanding(self._details)
panel.SetSizer(szr)
panel.Fit()
return panel
def _create_ui(self, size):
if wx.VERSION >= (3, 0, 3, ''): # DEBUG wxPhoenix
panel = wx.MiniFrame(self) # DEBUG wx.Panel would not detach on wxPython 4
else:
panel = wx.Panel(self)
panel.SetBackgroundColour(POPUP_BACKGROUND)
szr = VerticalSizer()
self._details = HtmlWindow(self, size=size)
szr.add_expanding(self._details)
panel.SetSizer(szr)
panel.Fit()
return panel
def __init__(self):
Dialog.__init__(self, title='RIDE')
sizer = wx.BoxSizer(wx.VERTICAL)
sizer.Add(HtmlWindow(self, (450, 200), ABOUT_RIDE), 1, flag=wx.EXPAND)
self.SetSizerAndFit(sizer)
def _add_keyword_details(self):
self._details = HtmlWindow(self)
self._add_to_sizer(self._details)
self._find_usages_button = ButtonWithHandler(self, 'Find Usages')
self.Sizer.Add(self._find_usages_button, 0, wx.ALL, 3)
def _value_display_control(self):
ctrl = HtmlWindow(self, (-1, 100))
ctrl.Bind(wx.EVT_LEFT_DOWN, self.OnEdit)
return ctrl
def __init__(self, title, content):
Dialog.__init__(self, title)
szr = VerticalSizer()
szr.add_expanding(HtmlWindow(self, text=content, size=self.Size))
self.SetSizer(szr)
