def __init__(self, name, default_position='bottom', parent=None, folded=False):
"""
All of the panel constructors follow the same format so that the construction can be automated.
:param name: Title of the panel and the key for accessing it
:param default_position: 'bottom', 'right'...
:param parent: self.main
:param ui_manager: pass a dictionary where buttons from this panel will be added
"""
Panel.__init__(self, name, default_position, parent, folded)
inner = QtWidgets.QWidget()
layout = QtWidgets.QVBoxLayout()
f = qt_prefs.get_font(CONSOLE_FONT)
self.lextext = QtWidgets.QPlainTextEdit()
self.setStyleSheet(stylesheet % (f.family(), f.pointSize()))
self.watchlist = ['forest_changed', 'ui_font_changed']
layout.addWidget(self.lextext)
self.sentence_text = QtWidgets.QLineEdit()
layout.addWidget(self.sentence_text)
self.semantics_text = QtWidgets.QLineEdit()
layout.addWidget(self.semantics_text)
self.info = QtWidgets.QLabel('info text here')
self.derive_button = text_button(ctrl.ui, layout, text='Derive again',
action='derive_from_lexicon')
layout.addWidget(self.derive_button)
layout.addWidget(self.info)
inner.setLayout(layout)
self.setWidget(inner)
self.widget().setAutoFillBackground(True)
self.prepare_lexicon()
self.finish_init()
ctrl.graph_view.activateWindow()
ctrl.graph_view.setFocus()
def __init__(self,
name,
default_position='bottom',
parent=None,
folded=False):
"""
All of the panel constructors follow the same format so that the construction can be automated.
:param name: Title of the panel and the key for accessing it
:param default_position: 'bottom', 'right'...
:param parent: self.main
:param ui_manager: pass a dictionary where buttons from this panel will be added
"""
Panel.__init__(self, name, default_position, parent, folded)
inner = QtWidgets.QWidget()
layout = QtWidgets.QVBoxLayout()
f = qt_prefs.get_font(CONSOLE_FONT)
self.lextext = QtWidgets.QPlainTextEdit()
self.setStyleSheet(stylesheet % (f.family(), f.pointSize()))
self.watchlist = ['forest_changed', 'ui_font_changed']
layout.addWidget(self.lextext)
self.sentence_text = QtWidgets.QLineEdit()
layout.addWidget(self.sentence_text)
self.semantics_text = QtWidgets.QLineEdit()
layout.addWidget(self.semantics_text)
self.info = QtWidgets.QLabel('info text here')
self.derive_button = text_button(ctrl.ui,
layout,
text='Derive again',
action='derive_from_lexicon')
layout.addWidget(self.derive_button)
layout.addWidget(self.info)
inner.setLayout(layout)
self.setWidget(inner)
self.widget().setAutoFillBackground(True)
self.prepare_lexicon()
self.finish_init()
ctrl.graph_view.activateWindow()
ctrl.graph_view.setFocus()
def __init__(self, name, default_position='bottom', parent=None, folded=False):
"""
All of the panel constructors follow the same format so that the construction can be
automated.
:param name: Title of the panel and the key for accessing it
:param default_position: 'bottom', 'right'...
:param parent: self.main
"""
Panel.__init__(self, name, default_position, parent, folded)
inner = QtWidgets.QWidget()
inner.setMaximumHeight(140)
inner.setMinimumWidth(160)
inner.setMaximumWidth(220)
self.watchlist = ['forest_changed']
layout = QtWidgets.QGridLayout()
label = QtWidgets.QLabel('Tree set', self)
layout.addWidget(label, 0, 0, 1, 1)
treeset_counter = QtWidgets.QLabel('0/0', self)
layout.addWidget(treeset_counter, 0, 1, 1, 1)
self.treeset_counter = treeset_counter
prev_tree = TwoColorButton(qt_prefs.left_arrow, '', self)
prev_tree.setMinimumWidth(72)
layout.addWidget(prev_tree, 1, 0, 1, 1)
self.prev_tree = prev_tree
ui = self.ui_manager
ui.connect_element_to_action(prev_tree, 'previous_forest')
next_tree = TwoColorButton(qt_prefs.right_arrow, '', self)
next_tree.setMinimumWidth(72)
layout.addWidget(next_tree, 1, 1, 1, 1)
self.next_tree = next_tree
ui.connect_element_to_action(next_tree, 'next_forest')
new_tree = text_button(ui, layout, text='New forest', action='new_forest', x=0, y=3)
self.der_label = QtWidgets.QLabel('Derivation step', self)
layout.addWidget(self.der_label, 2, 0, 1, 1)
derivation_counter = QtWidgets.QLabel('0/0', self)
layout.addWidget(derivation_counter, 2, 1, 1, 1)
self.derivation_counter = derivation_counter
prev_der = TwoColorButton(qt_prefs.left_arrow, '', self)
prev_der.setMaximumHeight(20)
layout.addWidget(prev_der, 3, 0, 1, 1)
self.prev_der = prev_der
ui.connect_element_to_action(prev_der, 'prev_derivation_step')
next_der = TwoColorButton(qt_prefs.right_arrow, '', self)
next_der.setMaximumHeight(20)
layout.addWidget(next_der, 3, 1, 1, 1)
self.next_der = next_der
ui.connect_element_to_action(next_der, 'next_derivation_step')
inner.setLayout(layout)
if False: #ctrl.forest.supports_derivation:
self.der_label.hide()
self.derivation_counter.hide()
self.next_der.hide()
self.prev_der.hide()
self.setWidget(inner)
self.widget().setAutoFillBackground(True)
self.finish_init()
def __init__(self,
name,
default_position='bottom',
parent=None,
folded=False):
"""
All of the panel constructors follow the same format so that the construction can be
automated.
:param name: Title of the panel and the key for accessing it
:param default_position: 'bottom', 'right'...
:param parent: self.main
"""
Panel.__init__(self, name, default_position, parent, folded)
inner = QtWidgets.QWidget()
inner.setMaximumHeight(140)
inner.setMinimumWidth(160)
inner.setMaximumWidth(220)
self.watchlist = ['forest_changed']
layout = QtWidgets.QGridLayout()
label = QtWidgets.QLabel('Tree set', self)
layout.addWidget(label, 0, 0, 1, 1)
treeset_counter = QtWidgets.QLabel('0/0', self)
layout.addWidget(treeset_counter, 0, 1, 1, 1)
self.treeset_counter = treeset_counter
action = ctrl.ui.get_action('previous_forest')
prev_tree = TwoColorButton(qt_prefs.left_arrow, action.k_shortcut,
self)
prev_tree.setMinimumWidth(72)
layout.addWidget(prev_tree, 1, 0, 1, 1)
self.prev_tree = prev_tree
ui = self.ui_manager
ui.connect_element_to_action(prev_tree, action.k_action_uid)
action = ctrl.ui.get_action('next_forest')
next_tree = TwoColorButton(qt_prefs.right_arrow, action.k_shortcut,
self)
next_tree.setMinimumWidth(72)
layout.addWidget(next_tree, 1, 1, 1, 1)
self.next_tree = next_tree
ui.connect_element_to_action(next_tree, action.k_action_uid)
new_tree = text_button(ui,
layout,
text='New forest',
action='new_forest',
x=0,
y=3)
self.der_label = QtWidgets.QLabel('Derivation step', self)
layout.addWidget(self.der_label, 2, 0, 1, 1)
derivation_counter = QtWidgets.QLabel('0/0', self)
layout.addWidget(derivation_counter, 2, 1, 1, 1)
self.derivation_counter = derivation_counter
action = ctrl.ui.get_action('prev_derivation_step')
prev_der = TwoColorButton(qt_prefs.left_arrow, action.k_shortcut, self)
prev_der.setMaximumHeight(20)
layout.addWidget(prev_der, 3, 0, 1, 1)
self.prev_der = prev_der
ui.connect_element_to_action(prev_der, action.k_action_uid)
action = ctrl.ui.get_action('next_derivation_step')
next_der = TwoColorButton(qt_prefs.right_arrow, action.k_shortcut,
self)
next_der.setMaximumHeight(20)
layout.addWidget(next_der, 3, 1, 1, 1)
self.next_der = next_der
ui.connect_element_to_action(next_der, action.k_action_uid)
inner.setLayout(layout)
if False: #ctrl.forest.supports_derivation:
self.der_label.hide()
self.derivation_counter.hide()
self.next_der.hide()
self.prev_der.hide()
self.setWidget(inner)
self.widget().setAutoFillBackground(True)
self.finish_init()
