Esempio n. 1
0
    def __init__(self, parent, env, url="", show_browser_ui=True):
        wx.Panel.__init__(self, parent)

        self.env = env
        self.show_browser_ui = show_browser_ui
        self.sig_title_changed = Signal()
        self.sig_status_changed = Signal()

        import wx.html2 as webview
        self.wv = webview.WebView.New(self, url=url)

        sizer = wx.BoxSizer(wx.VERTICAL)

        if show_browser_ui:
            btnSizer = wx.BoxSizer(wx.HORIZONTAL)

            btn = wx.BitmapButton(self, bitmap=resources.load_bitmap("icons/back.png"))
            self.Bind(wx.EVT_BUTTON, self.OnBack, btn)
            self.Bind(wx.EVT_UPDATE_UI, self.OnUpdateUI_Back, btn)
            btnSizer.Add(btn, 0, wx.EXPAND|wx.ALL, 2)

            btn = wx.BitmapButton(self, bitmap=resources.load_bitmap("icons/forward.png"))
            self.Bind(wx.EVT_BUTTON, self.OnForward, btn)
            self.Bind(wx.EVT_UPDATE_UI, self.OnUpdateUI_Forward, btn)
            btnSizer.Add(btn, 0, wx.EXPAND|wx.ALL, 2)

            btn = wx.BitmapButton(self, bitmap=resources.load_bitmap("icons/stop.png"))
            self.Bind(wx.EVT_BUTTON, self.OnStop, btn)
            self.Bind(wx.EVT_UPDATE_UI, self.OnUpdateUI_Stop, btn)
            btnSizer.Add(btn, 0, wx.EXPAND|wx.ALL, 2)

            btn = wx.BitmapButton(self, bitmap=resources.load_bitmap("icons/refresh.png"))
            self.Bind(wx.EVT_BUTTON, self.OnRefresh, btn)
            self.Bind(wx.EVT_UPDATE_UI, self.OnUpdateUI_Refresh, btn)
            btnSizer.Add(btn, 0, wx.EXPAND|wx.ALL, 2)

            self.location = wx.ComboBox(self, value=url, style=wx.CB_DROPDOWN|wx.TE_PROCESS_ENTER)
            self.Bind(wx.EVT_COMBOBOX, self.OnLocationSelect, self.location)
            self.location.Bind(wx.EVT_TEXT_ENTER, self.OnLocationEnter)
            btnSizer.Add(self.location, 1, wx.ALIGN_CENTRE_VERTICAL|wx.ALL, 2)

            sizer.Add(btnSizer, 0, wx.EXPAND)

        sizer.Add(self.wv, 1, wx.EXPAND)
        self.SetSizer(sizer)

        self.Bind(webview.EVT_WEBVIEW_NAVIGATING, self.OnWebViewNavigating, self.wv)
        self.Bind(webview.EVT_WEBVIEW_LOADED, self.OnWebViewLoaded, self.wv)
        self.Bind(webview.EVT_WEBVIEW_TITLE_CHANGED, self.OnWebViewTitleChanged, self.wv)
Esempio n. 2
0
    def __init__(self, parent, filter=None, show_root=False):
        style = wx.TR_DEFAULT_STYLE | wx.TR_EDIT_LABELS | wx.BORDER_NONE
        if not show_root:
            style |= wx.TR_HIDE_ROOT

        wx.TreeCtrl.__init__(self, parent, style=style)
        wx.FileDropTarget.__init__(self)

        self.SetDropTarget(self)
        self.SetDoubleBuffered(True)

        old_font = self.GetFont()
        self.font = wx.Font(old_font.PointSize, old_font.Family, old_font.Style, old_font.Weight, faceName=old_font.FaceName)
        self.SetFont(self.font)

        self.filter = filter or DirTreeFilter()
        self.cq = CoroutineQueue()
        self.cm = CoroutineManager()
        self.select_later_parent = None
        self.select_later_name = None
        self.select_later_time = 0
        self.expanding_all = False
        self.drop_item = None
        self.sig_update_tree = Signal(self)
        self.sig_update_tree.bind(self.UpdateFromFSMonitor)
        self.monitor = FSMonitor()
        self.monitor_thread = DirTreeMonitor(self, self.monitor)

        self.imglist = wx.ImageList(16, 16)
        self.imglist.Add(load_bitmap("icons/folder.png"))
        self.imglist.Add(load_bitmap("icons/folder_denied.png"))
        self.imglist.Add(load_bitmap("icons/file.png"))
        self.SetImageList(self.imglist)

        self.Bind(wx.EVT_TREE_ITEM_EXPANDING, self.OnItemExpanding)
        self.Bind(wx.EVT_TREE_ITEM_COLLAPSED, self.OnItemCollapsed)
        self.Bind(wx.EVT_TREE_ITEM_RIGHT_CLICK, self.OnItemRightClicked)
        self.Bind(wx.EVT_TREE_BEGIN_LABEL_EDIT, self.OnItemBeginLabelEdit)
        self.Bind(wx.EVT_TREE_END_LABEL_EDIT, self.OnItemEndLabelEdit)
        self.Bind(wx.EVT_TREE_BEGIN_DRAG, self.OnBeginDrag)
        self.Bind(wx.EVT_MENU, self.OnItemRename, id=ID_DIRTREE_RENAME)
        self.Bind(wx.EVT_MENU, self.OnItemDelete, id=ID_DIRTREE_DELETE)
        self.Bind(wx.EVT_MENU, self.OnNewFolder, id=ID_DIRTREE_NEW_FOLDER)
        self.Bind(wx.EVT_MENU, self.OnExpandAll, id=ID_DIRTREE_EXPAND_ALL)
        self.Bind(wx.EVT_MENU, self.OnCollapseAll, id=ID_DIRTREE_COLLAPSE_ALL)
Esempio n. 3
0
    def __init__(self, parent, env):
        wx.Dialog.__init__(self, parent, title="About " + app_info.name)
        self.env = env

        logo_font_size = 25 if sys.platform == "__WXMAC__" else 20
        subtitle_font_size = 24 if sys.platform == "__WXMAC__" else 10

        version_text = "Version %s (Released %s)" % (
            app_info.version_string,
            app_info.release_date.strftime("%Y-%m-%d"),
        )

        bitmap_devo = wx.StaticBitmap(self)
        bitmap_devo.SetBitmap(resources.load_bitmap("icons/devo-icon-64.png"))

        fontsize = self.GetFont().PointSize
        label_devo = wx.StaticText(self, label=app_info.name)
        label_devo.SetFont(wx.Font(fontsize * 2.5, wx.FONTFAMILY_SWISS, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_BOLD))
        label_devolved = wx.StaticText(self, label="      Text Editing Devolved")
        label_devolved.SetFont(wx.Font(fontsize * 1.25, wx.FONTFAMILY_SWISS, wx.FONTSTYLE_ITALIC, wx.FONTWEIGHT_NORMAL))
        label_version = wx.StaticText(self, label=version_text)

        label_developer = wx.StaticText(self, label=app_info.developer)
        link_website = HyperLinkCtrl(self, wx.ID_ANY, label=app_info.url, url=app_info.url)

        btn_sizer = wx.BoxSizer(wx.HORIZONTAL)
        btn_license = wx.Button(self, label="License")
        btn_ok = wx.Button(self, wx.ID_OK)
        btn_ok.SetDefault()
        btn_sizer.Add(btn_license)
        btn_sizer.AddStretchSpacer()
        btn_sizer.Add(btn_ok)

        logo_text_sizer = wx.BoxSizer(wx.VERTICAL)
        logo_text_sizer.Add(label_devo, 0, wx.LEFT | wx.RIGHT | wx.TOP, 10)
        logo_text_sizer.Add(label_devolved, 0, wx.LEFT | wx.RIGHT, 10)

        logo_sizer = wx.BoxSizer(wx.HORIZONTAL)
        logo_sizer.Add(bitmap_devo, 0, wx.ALIGN_CENTER_VERTICAL)
        logo_sizer.Add(logo_text_sizer, 1, wx.ALIGN_CENTER_VERTICAL)

        sizer = wx.BoxSizer(wx.VERTICAL)
        sizer.Add(logo_sizer, 0, wx.LEFT | wx.RIGHT | wx.TOP, 20)
        sizer.AddSpacer(15)
        sizer.Add(label_version, 0, wx.LEFT | wx.RIGHT, 20)
        sizer.AddSpacer(5)
        sizer.Add(label_developer, 0, wx.LEFT | wx.RIGHT, 20)
        sizer.AddSpacer(5)
        sizer.Add(link_website, 0, wx.LEFT | wx.RIGHT, 20)
        sizer.AddSpacer(5)
        sizer.Add(btn_sizer, 0, wx.ALL | wx.EXPAND, 10)

        self.SetSizer(sizer)
        self.Fit()
        self.Centre()

        self.Bind(wx.EVT_BUTTON, self.OnLicense, btn_license)