Fix codemirror padding

Using custom padding size to match standard controls px-3 py-2
This commit is contained in:
IRBorisov 2023-11-07 18:14:48 +03:00
parent f73badebaa
commit 5be2fc0200
5 changed files with 5 additions and 6 deletions

View File

@ -175,9 +175,8 @@ function ArgumentsTab({ state, schema, partialUpdate }: ArgumentsTabProps) {
/>
<RSInput id='result'
dimensions='w-full mt-[0.3rem]'
placeholder='Итоговое определение'
height='4.9rem'
height='5.1rem'
value={state.definition}
disabled
/>

View File

@ -40,7 +40,7 @@ function ConstituentaTab({state, partialUpdate}: ConstituentaTabProps) {
/>
<RSInput id='expression' label='Формальное определение'
placeholder='Родоструктурное выражение, задающее формальное определение'
height='4.9rem'
height='5.1rem'
value={state.definition_formal}
onChange={value => partialUpdate({definition_formal: value})}
/>

View File

@ -121,7 +121,7 @@ function TemplateTab({ state, partialUpdate }: TemplateTabProps) {
spellCheck
/>
<RSInput id='expression'
height='4.9rem'
height='5.1rem'
placeholder='Выберите шаблон из списка'
disabled
value={state.prototype?.definition_formal}

View File

@ -79,7 +79,7 @@ function DlgCreateCst({ hideWindow, initial, schema, onCreate }: DlgCreateCstPro
/>
<RSInput id='expression' label='Формальное определение'
placeholder='Родоструктурное выражение, задающее формальное определение'
height='4.9rem'
height='5.1rem'
value={cstData.definition_formal}
onChange={value => updateCstData({definition_formal: value})}
/>

View File

@ -317,7 +317,7 @@
.dark & {
border-color: var(--cd-bg-40);
}
@apply border rounded px-1
@apply border rounded px-[0.375rem] py-[0.15rem]
}
.cm-editor.cm-focused {
border-color: var(--cl-bg-40);