diff options
| author | nyamatongwe <unknown> | 2013-03-15 23:34:46 +1100 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2013-03-15 23:34:46 +1100 |
| commit | 93f47df6328a33e7d2044afbe135d1189157e63d (patch) | |
| tree | feeba874832959d2fced7cd5836d46a732310785 /src/ViewStyle.h | |
| parent | 9b1adea4079a2384f93acb83bd4d1a7a7b709819 (diff) | |
| download | scintilla-mirror-93f47df6328a33e7d2044afbe135d1189157e63d.tar.gz | |
Use an NSScrollView on Cocoa for kinetic scrolling and hiding scrollbars unless wanted.
Also affects platform-independent code.
Diffstat (limited to 'src/ViewStyle.h')
| -rw-r--r-- | src/ViewStyle.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ViewStyle.h b/src/ViewStyle.h index ddcc64312..bd26613cb 100644 --- a/src/ViewStyle.h +++ b/src/ViewStyle.h @@ -108,7 +108,9 @@ public: int rightMarginWidth; ///< Spacing margin on right of text int maskInLine; ///< Mask for markers to be put into text because there is nowhere for them to go in margin MarginStyle ms[SC_MAX_MARGIN+1]; - int fixedColumnWidth; + int fixedColumnWidth; ///< Total width of margins + bool marginInside; ///< true: margin included in text view, false: separate views + int textStart; ///< Starting x position of text within the view int zoomLevel; WhiteSpaceVisibility viewWhitespace; int whitespaceSize; |