diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-06 13:53:51 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-06 13:53:51 +0300 |
commit | 52d00a1477fc51d4efadbf2ec71ba99ed13647e9 (patch) | |
tree | 1d48dba4f4ca07b69cf35ff5f3dd7f7cb4db2766 /src/ui/root.c | |
parent | b5d798c138db73ec14e11cc489084f41517ebf37 (diff) |
Indicate pinning state in URL bar
Diffstat (limited to 'src/ui/root.c')
-rw-r--r-- | src/ui/root.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ui/root.c b/src/ui/root.c index 4c5f1781..5c62738d 100644 --- a/src/ui/root.c +++ b/src/ui/root.c | |||
@@ -1047,6 +1047,14 @@ void createUserInterface_Root(iRoot *d) { | |||
1047 | addChildFlags_Widget( | 1047 | addChildFlags_Widget( |
1048 | rightEmbed, iClob(progress), collapse_WidgetFlag); | 1048 | rightEmbed, iClob(progress), collapse_WidgetFlag); |
1049 | } | 1049 | } |
1050 | /* Pinning indicator. */ { | ||
1051 | iLabelWidget *pin = new_LabelWidget(uiTextAction_ColorEscape leftHalf_Icon, NULL); | ||
1052 | setId_Widget(as_Widget(pin), "document.pinned"); | ||
1053 | setBackgroundColor_Widget(as_Widget(pin), uiBackground_ColorId); | ||
1054 | setAlignVisually_LabelWidget(pin, iTrue); | ||
1055 | setNoAutoMinHeight_LabelWidget(pin, iTrue); | ||
1056 | addChildFlags_Widget(rightEmbed, iClob(pin), collapse_WidgetFlag); | ||
1057 | } | ||
1050 | /* Reload button. */ { | 1058 | /* Reload button. */ { |
1051 | iLabelWidget *reload; | 1059 | iLabelWidget *reload; |
1052 | if (deviceType_App() == desktop_AppDeviceType) { | 1060 | if (deviceType_App() == desktop_AppDeviceType) { |