diff --git a/src/selection-tools.js b/src/selection-tools.js
index c20bbec7..7dfc4447 100644
--- a/src/selection-tools.js
+++ b/src/selection-tools.js
@@ -249,24 +249,60 @@ html, body {
width: 100%;
}
body {
+ flex: 1;
display: flex;
flex-direction: column;
}
-select {
+header {
+ flex: 1;
+ padding: 8px;
+ display: none;
+}
+header button {
width: 100%;
+ margin-top: 6px;
+}
+header button:first-child {
+ margin-top: 0;
}
main {
flex: 1;
+ display: flex;
overflow-y: auto;
margin: 8px 0;
}
+footer {
+ display: flex;
+ flex-direction: row;
+ width: 100%;
+ justify-content: space-between;
+ align-items: end;
+}
+footer div {
+ display: inline-block;
+ display: inline-block;
+ text-overflow: ellipsis;
+ overflow: hidden;
+ max-width: 200px;
+}
+footer a:any-link {
+ color: inherit;
+ display: inline-block;
+ text-overflow: ellipsis;
+ overflow: hidden;
+ margin-left: 8px;
+ text-align: right;
+}
#output {
padding: 0 8px;
}
-
+
`,
},
@@ -310,7 +376,7 @@ const SelectionToolPopover = GObject.registerClass({
enable_back_forward_navigation_gestures: false,
enable_hyperlink_auditing: false,
enable_html5_database: false,
- enable_html5_local_storage: false,
+ enable_html5_local_storage: true,
}),
}), {
'decide-policy': (_, decision, type) => {