fix workspace search plugin CSS in Firefox

microsoft · Sep 5, 2024 · 3f35e37 · 3f35e37
1 parent 5254f45
commit 3f35e37
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/pxtblocks/workspaceSearch.ts b/pxtblocks/workspaceSearch.ts
@@ -33,4 +33,10 @@ export class PxtWorkspaceSearch extends WorkspaceSearch {
         super.close();
         Blockly.utils.dom.removeClass(this.injectionDiv, 'blockly-ws-searching');
     }
-}
+}
+
+Blockly.Css.register(`
+.blockly-ws-search button {
+    padding-left: 6px;
+    padding-right: 6px;
+}`);