r
/
p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull Requests Releases 1 Wiki Activity

👌 rename Panel to MobilePanel on theme.js

This commit is contained in:
ghalestrilo 2020-07-01 15:36:17 -03:00
parent 7805accf95
commit a1d6abf00f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
client/theme.js
View File

@ -89,7 +89,7 @@ export default {
default: grays.middleGray,
hover: grays.darker
},
Panel: {
MobilePanel: {
default: {
foreground: colors.black,
background: grays.light,
@ -128,7 +128,7 @@ export default {
default: grays.middleLight,
hover: grays.lightest
},
Panel: {
MobilePanel: {
default: {
foreground: grays.light,
background: grays.dark,
@ -167,7 +167,7 @@ export default {
default: grays.mediumLight,
hover: colors.yellow
},
Panel: {
MobilePanel: {
default: {
foreground: grays.light,
background: grays.dark,