From 21e5b8c353a2262f7b72026a97226a66b273fc07 Mon Sep 17 00:00:00 2001 From: inaseem Date: Sun, 3 Oct 2021 22:46:37 +0530 Subject: [PATCH] Design update for editor page --- frontend/pages/editor/[lang].js | 166 +++++++++++++++----------------- 1 file changed, 80 insertions(+), 86 deletions(-) diff --git a/frontend/pages/editor/[lang].js b/frontend/pages/editor/[lang].js index 56f3a8e..b932ad0 100644 --- a/frontend/pages/editor/[lang].js +++ b/frontend/pages/editor/[lang].js @@ -12,7 +12,6 @@ import { Box, Button, Chip, - Divider, Stack, ToggleButton, ToggleButtonGroup, @@ -416,18 +415,20 @@ const CodeRunner = (props) => { > t.zIndex.appBar, + height: "48px", + p: "0 24px", }} > - + - + {config.name} { color={status != "idle" ? "info" : "default"} sx={{ fontSize: "0.7rem", - alignSelf: "center", height: "16px", }} label={status} /> - - isLspStarted ? t.palette.success.main : t.palette.text.disabled, - }} - disableElevation - endIcon={ - - } - > - Autocomplete - - - + + isLspStarted + ? t.palette.success.main + : t.palette.text.disabled, + }} + disableElevation + endIcon={ + + } > - - - Autocomplete + + - - - + + + + + + + - } - > - Prettify - - - } - > - Run - + {config.format && ( + } + > + Prettify + + )} + } + > + Run + +