Rename Selector -> Picker in theme

This commit is contained in:
Max Brunsfeld
2022-04-28 14:45:32 -07:00
parent 79fad42424
commit a60c75e343
18 changed files with 32 additions and 32 deletions
+2 -2
View File
@@ -6,7 +6,7 @@ import commandPalette from "./commandPalette";
import editor from "./editor";
import projectPanel from "./projectPanel";
import search from "./search";
import selectorModal from "./selectorModal";
import picker from "./picker";
import workspace from "./workspace";
import projectDiagnostics from "./projectDiagnostics";
@@ -16,7 +16,7 @@ export const panel = {
export default function app(theme: Theme): Object {
return {
selector: selectorModal(theme),
picker: picker(theme),
workspace: workspace(theme),
editor: editor(theme),
projectDiagnostics: projectDiagnostics(theme),
@@ -1,7 +1,7 @@
import Theme from "../themes/theme";
import { backgroundColor, border, player, shadow, text } from "./components";
export default function selectorModal(theme: Theme): Object {
export default function picker(theme: Theme) {
const item = {
padding: {
bottom: 4,