Improved styles for plugins dialog

This commit is contained in:
alonso.torres 2024-05-28 12:06:47 +02:00 committed by Andrey Antukh
parent 032e551dc1
commit a2df74be38
7 changed files with 67 additions and 34 deletions

View file

@ -5205,3 +5205,6 @@ msgstr "Plugins"
msgid "workspace.plugins.menu.plugins-manager"
msgstr "Plugins manager"
msgid "workspace.plugins.plugin-list-link"
msgstr "Plugins List"

View file

@ -5332,3 +5332,5 @@ msgstr "Extensiones"
msgid "workspace.plugins.menu.plugins-manager"
msgstr "Gestor de extensiones"
msgid "workspace.plugins.plugin-list-link"
msgstr "Lista de extensiones"