def set_settings_object(self, settings):
        settings.setFallbacksEnabled(self.fallbacks_action.isChecked())
        self.settings_tree.set_settings_object(settings)

        self.refresh_action.setEnabled(True)
        self.auto_refresh_action.setEnabled(True)

        nice_name = QDir.fromNativeSeparators(settings.fileName())
        nice_name = nice_name.split('/')[-1]

        if not settings.isWritable():
            nice_name += " (read only)"

        self.setWindowTitle("{} - Settings Editor".format(nice_name))
 def __init__(self, debug=False, parent=None):
     QMainWindow.__init__(self, parent)
     QWebEngineSettings.defaultSettings().setAttribute(
         QWebEngineSettings.JavascriptCanAccessClipboard, True)
     QWebEngineSettings.defaultSettings().setAttribute(
         QWebEngineSettings.JavascriptCanPaste, True)
     self.view = QWebEngineView(self)
     self.setCentralWidget(self.view)
     self.chan = QWebChannel(self)
     self.comm = Comm(self)
     self.chan.registerObject('channelInterface', self.comm)
     self.view.page().setWebChannel(self.chan)
     self.view.setContextMenuPolicy(Qt.NoContextMenu)
     if debug:
         self.view.load('http://localhost:8080')
         self.devView = QWebEngineView()
         self.view.page().setDevToolsPage(self.devView.page())
         self.devView.show()
     else:
         url = 'file:///' + QDir.fromNativeSeparators(
             os.path.abspath(
                 os.path.join(os.path.dirname(__file__),
                              './frontend/dist/index.html')))
         self.view.load(QUrl(url))
 def add(self, path: str):
     url = QUrl.fromUserInput(QDir.fromNativeSeparators(path))
     self.addMedia(url)
Esempio n. 4
0
 def getUrlFromNativePath(self, path: str):
     path = QDir.fromNativeSeparators(path)
     url = QUrl.fromLocalFile(path)
     res = str(url.toString())
     return res