diff options
author | Christian Dywan <christian@twotoasts.de> | 2019-07-07 15:33:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-07 15:33:07 +0200 |
commit | 747f77735c67fc5be9f60fe9a5ccdb12e4a47679 (patch) | |
tree | f44dcc0d8836ed859009686be1577ccfe8323702 /core | |
parent | b7656f5f7e74bf85758b4b4aff384716d2f23580 (diff) | |
download | midori-git-747f77735c67fc5be9f60fe9a5ccdb12e4a47679.tar.gz |
(Re-)Store pinned state of tabs (#339)
The most interesting non-obvious detail here is that undelaying a pinned
tab after creating it didn't work with the previous code.
Fixes: #178
Diffstat (limited to 'core')
-rw-r--r-- | core/tab.vala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/tab.vala b/core/tab.vala index 5e3baa1f..ac06bebe 100644 --- a/core/tab.vala +++ b/core/tab.vala @@ -53,6 +53,12 @@ namespace Midori { item.title = display_title; } }); + notify["pinned"].connect ((pspec) => { + // Undelay if needed + if (display_uri != uri) { + load_uri (display_uri); + } + }); } public Tab (Tab? related, WebKit.WebContext web_context, |