Exemple #1
0
 def __init__(self, distributed_objects):
     QObject.__init__(self)
     self.distributed_objects = distributed_objects
     
     self.editor_view = EditorView(self.distributed_objects);
     
     QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('inferiorHasStopped(PyQt_PyObject)'), self.editor_view.targetStopped, Qt.QueuedConnection)
     QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('inferiorHasExited(PyQt_PyObject)'), self.editor_view.targetExited, Qt.QueuedConnection)
     QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('saveFile()'), self.saveCurrentFile)
     QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('fileModified(PyQt_PyObject, bool)'), self.editor_view.setFileModified) 
Exemple #2
0
class EditorController(QObject):        
    def __init__(self, distributed_objects):
        QObject.__init__(self)
        self.distributed_objects = distributed_objects
        
        self.editor_view = EditorView(self.distributed_objects);
        
        QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('inferiorHasStopped(PyQt_PyObject)'), self.editor_view.targetStopped, Qt.QueuedConnection)
        QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('inferiorHasExited(PyQt_PyObject)'), self.editor_view.targetExited, Qt.QueuedConnection)
        QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('saveFile()'), self.saveCurrentFile)
        QObject.connect(self.distributed_objects.signal_proxy, SIGNAL('fileModified(PyQt_PyObject, bool)'), self.editor_view.setFileModified) 
        
    def jumpToLine(self, filename, line):
        line = int(line) - 1
        self.editor_view.openFile(filename)
        file_ = self.editor_view.openedFiles[filename]
        file_.showLine(line)
        editor = file_.edit
        editor.setSelection(line, 0, line, editor.lineLength(line))
        
    def addStackMarker(self, filename, line):
        line = int(line) - 1
        self.editor_view.openFile(filename)
        file_ = self.editor_view.openedFiles[filename]
        editor = file_.edit
        editor.markerAdd(line, file_.MARGIN_MARKER_STACK)
    
    def delStackMarkers(self, filename):
        self.editor_view.openFile(filename)
        file_ = self.editor_view.openedFiles[filename]
        editor = file_.edit
        editor.markerDeleteAll(file_.MARGIN_MARKER_STACK)
            
    def saveCurrentFile(self):
        self.editor_view.getCurrentOpenedFile().saveFile()
        
    def closeOpenedFiles(self):
        return self.editor_view.removeAllTabs()