diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2020-05-08 20:42:49 +0100 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2020-05-08 20:42:49 +0100 |
| commit | 524688098a39a6b23a5a9cdff8faffafae1f5f11 (patch) | |
| tree | b94ec73f9abd8e73421d58d7d3281b02444d5888 /frontends/gtk/res/pageinfo.gtk2.ui | |
| parent | b42662325858d98d66e81a92f5730915f3263b65 (diff) | |
| download | netsurf-524688098a39a6b23a5a9cdff8faffafae1f5f11.tar.gz netsurf-524688098a39a6b23a5a9cdff8faffafae1f5f11.tar.bz2 | |
GTK: Make page info transient properly, handle events, etc.
This makes the page info properly transient and causes it
to handle activity in the corewindow and outside itself
properly. This includes ensuring that actions outside
the window will close it, etc.
Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>
Diffstat (limited to 'frontends/gtk/res/pageinfo.gtk2.ui')
0 files changed, 0 insertions, 0 deletions