Merge branch 'master' into sieveparser

This commit is contained in:
djmaze 2021-01-18 09:36:41 +01:00
commit e7da264f4b
4 changed files with 41 additions and 45 deletions

4
.cmds
View file

@ -15,5 +15,5 @@ webpack --color --watch
# #
gpg --import x gpg --import x
gpg --detach-sign --armor --openpgp -u 87DA4591 x gpg --detach-sign --armor --openpgp -u 87DA4591 --passphrase ?? x
for ff in `ls *.zip`; do gpg --detach-sign --armor --openpgp -u 87DA4591 $ff; done for ff in `ls ./build/dist/releases/**/**/*.zip | xargs`; do gpg --detach-sign --no-tty --yes --armor --openpgp -u 87DA4591 --passphrase ?? $ff; done

View file

@ -60,10 +60,10 @@
data-bind="value: filterRaw, valueUpdate: 'afterkeydown'"></textarea> data-bind="value: filterRaw, valueUpdate: 'afterkeydown'"></textarea>
</div> </div>
</div> </div>
<div> <div data-bind="visible: inited() && (!filterRaw.active() || !filterRaw.active())">
<div class="filters-list-top-padding"></div> <div class="filters-list-top-padding"></div>
<table class="table table-hover list-table filters-list g-ui-user-select-none" <table class="table table-hover list-table filters-list g-ui-user-select-none"
data-bind="visible: inited() && (!filterRaw.active() || !filterRaw.active()), i18nUpdate: filters"> data-bind="i18nUpdate: filters">
<colgroup> <colgroup>
<col style="width: 30px" /> <col style="width: 30px" />
<col style="width: 16px" /> <col style="width: 16px" />
@ -103,4 +103,3 @@
</div> </div>
</div> </div>
</div> </div>
</div>

View file

@ -19,7 +19,7 @@ const config = {
cleanPath: '', cleanPath: '',
zipSrcPath: '', zipSrcPath: '',
zipFile: '', zipFile: '',
zipFileShort: '', // zipFileShort: '',
paths: {} paths: {}
}; };

View file

@ -31,9 +31,6 @@ pre {
margin: 0 0 @baseLineHeight / 2; margin: 0 0 @baseLineHeight / 2;
font-size: @baseFontSize - 1; // 14px to 13px font-size: @baseFontSize - 1; // 14px to 13px
line-height: @baseLineHeight; line-height: @baseLineHeight;
word-break: break-all;
word-wrap: break-word;
white-space: pre;
white-space: pre-wrap; white-space: pre-wrap;
background-color: #f5f5f5; background-color: #f5f5f5;
border: 1px solid rgba(0,0,0,.15); border: 1px solid rgba(0,0,0,.15);