diff options
| author | Sven Weidauer <sven.weidauer@gmail.com> | 2011-02-27 09:46:54 +0000 |
|---|---|---|
| committer | Sven Weidauer <sven.weidauer@gmail.com> | 2011-02-27 09:46:54 +0000 |
| commit | e1901889698454018150bfc58f469708837dfd7a (patch) | |
| tree | 68cbf63380769e92d56f9adfbe522087766c5f27 /cocoa/BrowserView.m | |
| parent | 1842be491dffdbc0b0d2dc8e3891d13369824887 (diff) | |
| download | netsurf-e1901889698454018150bfc58f469708837dfd7a.tar.gz netsurf-e1901889698454018150bfc58f469708837dfd7a.tar.bz2 | |
Local history view now is responsible for hiding itself after selecting a web page. Also gets redrawn when selecting other pages using the back/forward buttons.
svn path=/trunk/netsurf/; revision=11837
Diffstat (limited to 'cocoa/BrowserView.m')
| -rw-r--r-- | cocoa/BrowserView.m | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/cocoa/BrowserView.m b/cocoa/BrowserView.m index 131499d2c..990f42732 100644 --- a/cocoa/BrowserView.m +++ b/cocoa/BrowserView.m @@ -76,6 +76,11 @@ static NSMutableArray *cocoa_reformat_pending = nil; } } +- (void) updateHistory; +{ + [history redraw]; +} + static inline NSRect cocoa_get_caret_rect( BrowserView *view ) { NSRect caretRect = { @@ -413,7 +418,7 @@ static browser_mouse_state cocoa_mouse_flags_for_event( NSEvent *evt ) historyVisible = newVisible; if (historyVisible) { - if (nil == history) history = [[LocalHistoryController alloc] initWithBrowser: browser]; + if (nil == history) history = [[LocalHistoryController alloc] initWithBrowser: self]; [history attachToView: [(BrowserWindowController *)[[self window] windowController] historyButton]]; } else { [history detach]; |