Browse Source

Fixed theme icon in settings editor when it was selected

cameronoelsen 7 years ago
parent
commit
7fe53e4943
1 changed files with 3 additions and 2 deletions
  1. 3 2
      packages/settingeditor-extension/style/settingeditor.css

+ 3 - 2
packages/settingeditor-extension/style/settingeditor.css

@@ -101,11 +101,12 @@
 #setting-editor ul.jp-PluginList li.jp-mod-selected {
   background-color: var(--jp-brand-color1);
   color: white;
+  border: 1px solid var(--jp-brand-color1);
 }
 
 
-#setting-editor ul.jp-PluginList li.jp-mod-selected {
-  border: 1px solid var(--jp-brand-color1);
+#setting-editor ul.jp-PluginList li.jp-mod-selected span.jp-PluginList-icon.jp-FileIcon {
+  background-image: var(--jp-icon-file-selected);
 }