hueso/gajim-plugins
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[omemo] Polish GUI

Browse Source 
- Port Fingerprint dialog from openpgp plugin
- Add an InfoBar for errors and informations
- Add tooltip for device clearing
- Remove fingerprints tab from plugin config dialog
This commit is contained in:
Daniel Brötzmann
2018-10-12 20:59:08 +02:00
committed by Philipp Hörist
parent 6a2114238c
commit 80a7a5db57
9 changed files with 868 additions and 883 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
omemo/gtk/style.css Normal file
View File

@@ -0,0 +1,17 @@
.omemo-dark-success-color { color: darker(@success_color); }
.omemo-inactive-color { color: @unfocused_borders; }
.omemo-mono { font-size: 12px; font-family: monospace; }
.omemo-key-dialog > box { margin: 18px; }
.omemo-key-dialog scrolledwindow row {
border-bottom: 1px solid;
border-color: @unfocused_borders;
padding: 10px 20px 10px 10px;
}
.omemo-key-dialog scrolledwindow row:last-child { border-bottom: 0px}
.omemo-key-dialog scrolledwindow { border: 1px solid; border-color:@unfocused_borders; }
.omemo-trust-popover row { padding: 10px 15px 10px 10px; }