[pmg-devel] applied: [PATCH pmg-gui 4/5] quarantine: improve borders for docked items

[Thomas Lamprecht]

Am 04/11/2022 um 16:04 schrieb Dominik Csapak:
> one cannot set the different borders seperately in panels/grids and
> docked items don't have a bottom border in extjs, but we want to remove
> all borders except the ones between the toolbar and the grids/content
> below that.
> 
> to achieve that, set a custom 'border-bottom-width' with '!important'
> (extjs has a rule with !important as well) for the toolbar, and
> everywhere else remove the border.
> 
> Signed-off-by: Dominik Csapak <d.csapak at proxmox.com>
> ---
>  js/SpamQuarantine.js  | 8 +++++++-
>  js/VirusQuarantine.js | 6 ++++++
>  2 files changed, 13 insertions(+), 1 deletion(-)
> 
>

applied, thanks!