Change the default font size in code editor to be 12 (#1021)

This commit is contained in:
Shuchang Zheng
2024-10-21 11:56:53 -07:00
committed by GitHub
parent 935ecd046f
commit 437f70427f
11 changed files with 6 additions and 13 deletions

View File

@@ -293,7 +293,6 @@ function CreateNewTaskForm({ initialValues }: Props) {
<CodeEditor
{...field}
language="json"
fontSize={12}
minHeight="96px"
maxHeight="500px"
value={
@@ -388,7 +387,6 @@ function CreateNewTaskForm({ initialValues }: Props) {
<CodeEditor
{...field}
language="json"
fontSize={12}
minHeight="96px"
maxHeight="500px"
value={field.value === null ? "" : field.value}
@@ -509,7 +507,6 @@ function CreateNewTaskForm({ initialValues }: Props) {
<CodeEditor
{...field}
language="json"
fontSize={12}
minHeight="96px"
maxHeight="500px"
value={field.value === null ? "" : field.value}

View File

@@ -462,7 +462,6 @@ function SavedTaskForm({ initialValues }: Props) {
<CodeEditor
{...field}
language="json"
fontSize={12}
minHeight="96px"
maxHeight="500px"
value={
@@ -557,7 +556,6 @@ function SavedTaskForm({ initialValues }: Props) {
<CodeEditor
{...field}
language="json"
fontSize={14}
minHeight="96px"
maxHeight="500px"
value={
@@ -683,7 +681,6 @@ function SavedTaskForm({ initialValues }: Props) {
<CodeEditor
{...field}
language="json"
fontSize={12}
minHeight="96px"
maxHeight="500px"
value={field.value === null ? "" : field.value}

View File

@@ -125,7 +125,6 @@ function TaskDetails() {
language="json"
value={JSON.stringify(task.extracted_information, null, 2)}
readOnly
fontSize={12}
minHeight={"96px"}
maxHeight={"500px"}
className="w-full"
@@ -149,7 +148,6 @@ function TaskDetails() {
language="json"
value={JSON.stringify(task.failure_reason, null, 2)}
readOnly
fontSize={12}
minHeight={"96px"}
maxHeight={"500px"}
className="w-full"

View File

@@ -76,7 +76,6 @@ function TaskParameters() {
readOnly
minHeight="96px"
maxHeight="500px"
fontSize={12}
/>
</div>
<div className="flex gap-16">
@@ -113,7 +112,6 @@ function TaskParameters() {
readOnly
minHeight="96px"
maxHeight="500px"
fontSize={12}
/>
</div>
</section>