Merge branch 'main' into contact-panel-keyboard-nav

This commit is contained in:
Max Brunsfeld
2022-05-11 17:45:44 -07:00
44 changed files with 1808 additions and 269 deletions
+3 -1
View File
@@ -10,6 +10,7 @@ import search from "./search";
import picker from "./picker";
import workspace from "./workspace";
import projectDiagnostics from "./projectDiagnostics";
import contactNotification from "./contactNotification";
export const panel = {
padding: { top: 12, bottom: 12 },
@@ -32,6 +33,7 @@ export default function app(theme: Theme): Object {
padding: {
left: 6,
},
}
},
contactNotification: contactNotification(theme),
};
}