From d62fe287dae48ad587a9696e09f0732819372837 Mon Sep 17 00:00:00 2001 From: yann300 Date: Wed, 19 Feb 2020 18:09:06 +0100 Subject: [PATCH] update label for given permission - underline the plugin name - update the text --- src/app/components/plugin-manager-settings.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/app/components/plugin-manager-settings.js b/src/app/components/plugin-manager-settings.js index f8cb38cd2b..88448f31b2 100644 --- a/src/app/components/plugin-manager-settings.js +++ b/src/app/components/plugin-manager-settings.js @@ -40,7 +40,8 @@ const css = csjs` .checkbox label { margin: 0; font-size: 1rem; -}` +} +` export class PluginManagerSettings { @@ -89,7 +90,7 @@ export class PluginManagerSettings {
${checkbox} - +
`