| 3765 | } |
| 3766 | |
| 3767 | void UICodeEditor::fontSizeReset() { |
| 3768 | if ( setInternalFontSize( mFontSize ) ) { |
| 3769 | Float line = mScroll.y / getLineHeight(); |
| 3770 | Float col = mScroll.x / getGlyphWidth(); |
| 3771 | updateLongestLineWidth(); |
| 3772 | setScrollY( getLineHeight() * line ); |
| 3773 | setScrollX( getGlyphWidth() * col ); |
| 3774 | } |
| 3775 | } |
| 3776 | |
| 3777 | const bool& UICodeEditor::getShowWhitespaces() const { |
| 3778 | return mShowWhitespaces; |