polishing

This commit is contained in:
gorhill 2015-03-06 10:22:30 -05:00
parent aa955ebe09
commit 3f22ad3906
3 changed files with 4 additions and 2 deletions

View file

@ -8,7 +8,8 @@ div > p:last-child {
box-sizing: border-box; box-sizing: border-box;
font-size: small; font-size: small;
height: 60vh; height: 60vh;
text-align: left;
white-space: pre; white-space: pre;
width: 100%; width: 100%;
text-align: left; word-wrap: normal;
} }

View file

@ -122,6 +122,7 @@ body[dir=rtl] #externalListsDiv {
height: 10em; height: 10em;
white-space: pre; white-space: pre;
width: 100%; width: 100%;
word-wrap: normal;
} }
body #busyOverlay { body #busyOverlay {
position: fixed; position: fixed;

View file

@ -564,7 +564,7 @@ var onDialogClicked = function(ev) {
var d = new Date(); var d = new Date();
localMessager.send({ localMessager.send({
what: 'createUserFilter', what: 'createUserFilter',
filters: '# ' + d.toLocaleString() + ' ' + window.location.href + '\n' + filter, filters: '! ' + d.toLocaleString() + ' ' + window.location.href + '\n' + filter,
}); });
removeElements(elementsFromFilter(taCandidate.value)); removeElements(elementsFromFilter(taCandidate.value));
stopPicker(); stopPicker();