Skip to content
Snippets Groups Projects
Commit 69585cf9 authored by andreas's avatar andreas
Browse files

fixed issue BZDNG-26 in new shell branch

git-svn-id: https://dng.biozentrum.unibas.ch/svn/openstructure/branches/new_shell@1920 5a81b35b-ba03-0410-adc8-b2c5c5119f08
parent 1c18256b
No related branches found
No related tags found
No related merge requests found
......@@ -325,6 +325,7 @@ plot_viewer/plot_legend_panel.hh
python_shell/main_thread_runner.hh
python_shell/completer_base.hh
python_shell/gutter.hh
python_shell/output_redirector.hh
python_shell/path_completer.hh
python_shell/python_completer.hh
python_shell/python_interpreter.hh
......
......@@ -72,7 +72,7 @@ class DLLEXPORT_OST_GUI PointlistOverlayBaseSettings: public QDialog
QPushButton* passive_color_b_;
};
class DLLEXPORT PointlistOverlayBase: public Overlay
class DLLEXPORT_OST_GUI PointlistOverlayBase: public Overlay
{
Q_OBJECT;
public:
......
......@@ -502,12 +502,11 @@ void PythonShellWidget::Complete(bool inline_completion)
bool PythonShellWidget::handle_custom_commands_(QKeyEvent* event)
{
/* deactivated until fix found
if ((event->modifiers() == (Qt::ControlModifier | Qt::ShiftModifier)) &&
event->key() == Qt::Key_H) {
set_output_visible_(!output_visible_);
return true;
}*/
}
if ((event->modifiers() == (Qt::ControlModifier | Qt::ShiftModifier)) &&
event->key() == Qt::Key_W) {
......@@ -673,8 +672,12 @@ void PythonShellWidget::set_output_visible_(bool flag)
for (QTextBlock i=document()->begin(); i!=document()->end(); i=i.next()) {
if(i.userState()==BLOCKTYPE_ERROR || i.userState()==BLOCKTYPE_OUTPUT){
i.setVisible(flag);
i.setLineCount(flag ? qMax(1, i.layout()->lineCount()) : 0);
}
}
dynamic_cast<PythonShellTextDocumentLayout*>(document()->documentLayout())->requestUpdate();
dynamic_cast<PythonShellTextDocumentLayout*>(document()->documentLayout())->EmitSizeChange();
ensureCursorVisible();
repaint();
gutter_->update();
viewport()->update();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment