Backport PR jupyterlab#13384: Add a hover effect to plugin list entri…

…es (jupyterlab#13388) Co-authored-by: Michał Krassowski <[email protected]>
fcollonval · Nov 8, 2022 · ba52666 · ba52666
1 parent fa1bac8
commit ba52666
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/packages/settingeditor/style/base.css b/packages/settingeditor/style/base.css
@@ -437,6 +437,10 @@ ul.jp-PluginList li.jp-mod-selected span.jp-PluginList-icon.jp-FileIcon {
   white-space: nowrap;
 }
 
+.jp-PluginList-entry:hover {
+  background: var(--jp-layout-color1);
+}
+
 .jp-PluginList-entry li {
   margin-left: 27px;
   margin-top: 5px;