def __init__(self):
QStatusBar.__init__(self)
self.hide()
Edis.load_component("status_bar", self)
# Conexiones
self.messageChanged.connect(self._clean_status)
def __init__(self):
QStatusBar.__init__(self)
self.hide()
Edis.load_component("status_bar", self)
# Conexiones
self.messageChanged.connect(self._clean_status)
def __init__(self, edis=None):
QWidget.__init__(self, edis)
self.setAcceptDrops(True)
self.box = QVBoxLayout(self)
self.box.setContentsMargins(0, 0, 0, 0)
self.box.setSpacing(0)
# Stacked
self.stack = QStackedWidget()
self.box.addWidget(self.stack)
# Replace widget
#FIXME: mover esto
self._replace_widget = replace_widget.ReplaceWidget()
self._replace_widget.hide()
self.box.addWidget(self._replace_widget)
# Editor widget
self.editor_widget = editor_widget.EditorWidget()
# Conexiones
self.connect(self.editor_widget, SIGNAL("saveCurrentFile()"),
self.save_file)
self.connect(self.editor_widget, SIGNAL("fileClosed(int)"),
self._file_closed)
self.connect(self.editor_widget, SIGNAL("recentFile(QStringList)"),
self.update_recents_files)
self.connect(self.editor_widget, SIGNAL("allFilesClosed()"),
self.add_start_page)
self.connect(self.editor_widget, SIGNAL("currentWidgetChanged(int)"),
self.change_widget)
Edis.load_component("principal", self)
def __init__(self):
QDockWidget.__init__(self)
self.setFeatures(QDockWidget.NoDockWidgetFeatures)
title_bar = self.titleBarWidget()
self._remove_titlebar(title_bar)
#self._filename = None
self._sources = None
self.salida_ = process.EjecutarWidget()
self.setWidget(self.salida_)
# Conexiones
key_escape = QShortcut(QKeySequence(Qt.Key_Escape), self)
key_escape.activated.connect(self.hide)
Edis.load_component("output", self)
def __init__(self, parent=None):
QDialog.__init__(self, parent)
self.setWindowTitle(self.tr("Configuraciones - Edis"))
self.__sections = []
# Opacity effect
self.effect = QGraphicsOpacityEffect()
self.setGraphicsEffect(self.effect)
self.animation = QPropertyAnimation(self.effect, "opacity")
Edis.load_component("preferences", self)
# Install sections
#lint:disable
from src.ui.dialogs.preferences import (environment_configuration,
editor_configuration,
compiler_configuration)
#lint:enable
self.load_ui()
key_escape = QShortcut(QKeySequence(Qt.Key_Escape), self)
self.connect(key_escape, SIGNAL("activated()"), self.close)
self.connect(self.btn_cancel, SIGNAL("clicked()"), self.close)
self.connect(self.btn_guardar, SIGNAL("clicked()"), self._save)
def __init__(self):
super(TabContainer, self).__init__()
# Areas
self.setAllowedAreas(Qt.LeftDockWidgetArea | Qt.RightDockWidgetArea)
# Tabs
self.tabs = QTabWidget()
self.tabs.setTabPosition(QTabWidget.West)
self.setWidget(self.tabs)
self.setContextMenuPolicy(Qt.CustomContextMenu)
# Widgets
self._symbols_widget = None
self._explorer = None
Edis.load_component("tab_container", self)
self.connect(self, SIGNAL("dockLocationChanged(Qt::DockWidgetArea)"),
self._change_tab_position)
self.connect(self, SIGNAL("customContextMenuRequested(const QPoint)"),
self._load_context_menu)
# Oculto cuando se inicia
self.hide()
def __init__(self):
super(TabContainer, self).__init__()
# Areas
self.setAllowedAreas(Qt.LeftDockWidgetArea | Qt.RightDockWidgetArea)
# Tabs
self.tabs = QTabWidget()
self.tabs.setTabPosition(QTabWidget.West)
self.setWidget(self.tabs)
self.setContextMenuPolicy(Qt.CustomContextMenu)
# Widgets
self._symbols_widget = None
self._explorer = None
Edis.load_component("tab_container", self)
self.connect(self, SIGNAL("dockLocationChanged(Qt::DockWidgetArea)"),
self._change_tab_position)
self.connect(self,
SIGNAL("customContextMenuRequested(const QPoint)"),
self._load_context_menu)
# Oculto cuando se inicia
self.hide()
def __init__(self, parent=None):
QDialog.__init__(self, parent)
self.setWindowTitle(self.tr("Configuraciones - Edis"))
self.__sections = []
# Opacity effect
self.effect = QGraphicsOpacityEffect()
self.setGraphicsEffect(self.effect)
self.animation = QPropertyAnimation(self.effect, "opacity")
Edis.load_component("preferences", self)
# Install sections
#lint:disable
from src.ui.dialogs.preferences import (
environment_configuration,
editor_configuration,
compiler_configuration
)
#lint:enable
self.load_ui()
key_escape = QShortcut(QKeySequence(Qt.Key_Escape), self)
self.connect(key_escape, SIGNAL("activated()"), self.close)
self.connect(self.btn_cancel, SIGNAL("clicked()"), self.close)
self.connect(self.btn_guardar, SIGNAL("clicked()"), self._save)
