diff options
author | Rowan Daniell <unknown> | 2021-11-30 12:39:03 +1100 |
---|---|---|
committer | Rowan Daniell <unknown> | 2021-11-30 12:39:03 +1100 |
commit | a4c061ceedc1e00d0ba0c8f7ff0e193bdbd4e561 (patch) | |
tree | fae641a762e88921d8bbe47f2c1caeb57165772f /cocoa | |
parent | 40fc39c0592c444e0b6aeb3b4f1b1d92da4a9bfb (diff) | |
download | scintilla-mirror-a4c061ceedc1e00d0ba0c8f7ff0e193bdbd4e561.tar.gz |
Bug [#2292] Fix bug where margin would not draw when scrolled.
Diffstat (limited to 'cocoa')
-rw-r--r-- | cocoa/ScintillaView.mm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cocoa/ScintillaView.mm b/cocoa/ScintillaView.mm index aab78e4bd..eb18ad09e 100644 --- a/cocoa/ScintillaView.mm +++ b/cocoa/ScintillaView.mm @@ -202,6 +202,10 @@ static NSCursor *cursorFromEnum(Window::Cursor cursor) { } } +- (void) drawRect: (NSRect) rect { + owner.backend->PaintMargin(rect); +} + @end // Add owner property as a private category. |