diff options
| author | nyamatongwe <devnull@localhost> | 2013-03-15 23:34:46 +1100 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2013-03-15 23:34:46 +1100 |
| commit | 9d124ce8cc3b212187f8b9637bf6c4685377fa87 (patch) | |
| tree | 01d292cf11e925824a8f907316527ef7255388f4 /src/ViewStyle.h | |
| parent | 23d76d437f1089cdd2cc7c01cf011ec21f7f7a63 (diff) | |
| download | scintilla-mirror-9d124ce8cc3b212187f8b9637bf6c4685377fa87.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; |