diff options
| author | don bright <hugh.m.bright@gmail.com> | 2012-07-23 01:45:12 (GMT) |
|---|---|---|
| committer | don bright <hugh.m.bright@gmail.com> | 2012-07-23 01:45:12 (GMT) |
| commit | b33a02b372cb1efff5bf6b177a2360e5d5ba87b3 (patch) | |
| tree | 52d7fb8428cc0aa9b7e4d90c0986bb47d2a50179 /src/editor.cc | |
| parent | 3c7a85af570e5609f4a6625e06410f31fa4d4f0f (diff) | |
remove debugging statements
Diffstat (limited to 'src/editor.cc')
| -rw-r--r-- | src/editor.cc | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/src/editor.cc b/src/editor.cc index 5cf5b42..f237c2e 100644 --- a/src/editor.cc +++ b/src/editor.cc @@ -1,8 +1,6 @@ #include "editor.h" #include "Preferences.h" -#include <iostream> - #ifndef _QCODE_EDIT_ void Editor::indentSelection() { @@ -76,23 +74,13 @@ void Editor::uncommentSelection() void Editor::zoomIn() { - // We have the fontsize in two places. one, in the in-memory window font - // information that the user sees on the screen, and two, in the - // settings which are persistent on disk. Here we make sure they are - // in sync - we assume the fontsize from the in-memory window to be accurate, - // and trust that there is code elsewhere in OpenSCAD that has initialized - // it properly. We update the on-disk Settings with whatever is in the window. - // - // And of course we increment by one before we do all this. - // See also QT's implementation of QEditor + // See also QT's implementation of QEditor. QSettings settings; QFont tmp_font = this->font() ; - std::cout << "in fontsize cur" << tmp_font.pointSize() << "\n"; if ( font().pointSize() >= 1 ) tmp_font.setPointSize( 1 + font().pointSize() ); else tmp_font.setPointSize( 1 ); - std::cout << "in new fontsize cur" << tmp_font.pointSize() << "\n"; settings.setValue("editor/fontsize", tmp_font.pointSize()); this->setFont( tmp_font ); } @@ -101,12 +89,10 @@ void Editor::zoomOut() { QSettings settings; QFont tmp_font = this->font(); - std::cout << "out fontsize cur" << tmp_font.pointSize() << "\n"; if ( font().pointSize() >= 2 ) tmp_font.setPointSize( -1 + font().pointSize() ); else tmp_font.setPointSize( 1 ); - std::cout << "out new fontsize cur" << tmp_font.pointSize() << "\n"; settings.setValue("editor/fontsize", tmp_font.pointSize()); this->setFont( tmp_font ); } |