diff options
| author | Neil Hodgson <nyamatongwe@gmail.com> | 2015-03-14 13:20:03 +1100 |
|---|---|---|
| committer | Neil Hodgson <nyamatongwe@gmail.com> | 2015-03-14 13:20:03 +1100 |
| commit | e734b83b61adfe835b1db56b314d95187b295f23 (patch) | |
| tree | 05b6100f09aaf649769782835882772ed4f472ae /cocoa | |
| parent | 1cd5180cbaeabce21379dad28d47c64fce768f41 (diff) | |
| download | scintilla-mirror-e734b83b61adfe835b1db56b314d95187b295f23.tar.gz | |
Fix calltip display bug on Cocoa.
Diffstat (limited to 'cocoa')
| -rw-r--r-- | cocoa/ScintillaCocoa.mm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/cocoa/ScintillaCocoa.mm b/cocoa/ScintillaCocoa.mm index be5ec9445..45637b28a 100644 --- a/cocoa/ScintillaCocoa.mm +++ b/cocoa/ScintillaCocoa.mm @@ -1131,7 +1131,16 @@ void ScintillaCocoa::CallTipMouseDown(NSPoint pt) { CallTipClick(); } +static bool HeightDifferent(WindowID wCallTip, PRectangle rc) { + NSWindow *callTip = (NSWindow *)wCallTip; + CGFloat height = NSHeight([callTip frame]); + return height != rc.Height(); +} + void ScintillaCocoa::CreateCallTipWindow(PRectangle rc) { + if (ct.wCallTip.Created() && HeightDifferent(ct.wCallTip.GetID(), rc)) { + ct.wCallTip.Destroy(); + } if (!ct.wCallTip.Created()) { NSRect ctRect = NSMakeRect(rc.top,rc.bottom, rc.Width(), rc.Height()); NSWindow *callTip = [[NSWindow alloc] initWithContentRect: ctRect |