mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-06-26 13:00:39 +03:00
Minor UI fixes
This commit is contained in:
parent
e1601ab137
commit
ba4e8219c5
|
@ -146,19 +146,19 @@ function EditorConstituenta({ activeID, onShowAST, onCreateCst, onOpenEdit, onDe
|
||||||
</span>
|
</span>
|
||||||
</div>
|
</div>
|
||||||
<div className='flex justify-end'>
|
<div className='flex justify-end'>
|
||||||
<MiniButton
|
|
||||||
tooltip='Создать конституенты после данной'
|
|
||||||
disabled={!isEnabled}
|
|
||||||
onClick={handleCreateCst}
|
|
||||||
icon={<SmallPlusIcon size={5} color={isEnabled ? 'text-green' : ''} />}
|
|
||||||
/>
|
|
||||||
<MiniButton
|
<MiniButton
|
||||||
tooltip='Удалить редактируемую конституенту'
|
tooltip='Удалить редактируемую конституенту'
|
||||||
disabled={!isEnabled}
|
disabled={!isEnabled}
|
||||||
onClick={handleDelete}
|
onClick={handleDelete}
|
||||||
icon={<DumpBinIcon size={5} color={isEnabled ? 'text-red' : ''} />}
|
icon={<DumpBinIcon size={5} color={isEnabled ? 'text-red' : ''} />}
|
||||||
/>
|
/>
|
||||||
<div id='cst-help' className='flex items-center ml-[0.25rem]'>
|
<MiniButton
|
||||||
|
tooltip='Создать конституенты после данной'
|
||||||
|
disabled={!isEnabled}
|
||||||
|
onClick={handleCreateCst}
|
||||||
|
icon={<SmallPlusIcon size={5} color={isEnabled ? 'text-green' : ''} />}
|
||||||
|
/>
|
||||||
|
<div id='cst-help' className='flex items-center ml-[6px]'>
|
||||||
<HelpIcon color='text-primary' size={5} />
|
<HelpIcon color='text-primary' size={5} />
|
||||||
</div>
|
</div>
|
||||||
<ConceptTooltip anchorSelect='#cst-help'>
|
<ConceptTooltip anchorSelect='#cst-help'>
|
||||||
|
|
|
@ -345,14 +345,14 @@ function EditorTermGraph({ onOpenEdit, onCreateCst, onDeleteCst }: EditorTermGra
|
||||||
}, [selectedDismissed]);
|
}, [selectedDismissed]);
|
||||||
|
|
||||||
return (
|
return (
|
||||||
<div className='flex justify-between w-full' tabIndex={0} onKeyDown={handleKeyDown}>
|
<div className='flex justify-between w-full outline-none' tabIndex={0} onKeyDown={handleKeyDown}>
|
||||||
{showOptions &&
|
{showOptions &&
|
||||||
<DlgGraphOptions
|
<DlgGraphOptions
|
||||||
hideWindow={() => setShowOptions(false)}
|
hideWindow={() => setShowOptions(false)}
|
||||||
initial={getOptions()}
|
initial={getOptions()}
|
||||||
onConfirm={handleChangeOptions}
|
onConfirm={handleChangeOptions}
|
||||||
/>}
|
/>}
|
||||||
<div className='flex flex-col py-2 border-t border-r w-[14.7rem] pr-2 text-sm select-none' style={{height: canvasHeight}}>
|
<div className='flex flex-col py-2 border-t border-r max-w-[12.44rem] pr-2 text-sm select-none' style={{height: canvasHeight}}>
|
||||||
{hoverCst &&
|
{hoverCst &&
|
||||||
<div className='relative'>
|
<div className='relative'>
|
||||||
<InfoConstituenta
|
<InfoConstituenta
|
||||||
|
@ -383,9 +383,6 @@ function EditorTermGraph({ onOpenEdit, onCreateCst, onDeleteCst }: EditorTermGra
|
||||||
/>
|
/>
|
||||||
</div>
|
</div>
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
<Divider margins='mt-3 mb-2' />
|
|
||||||
|
|
||||||
<div className='flex items-center w-full gap-1'>
|
<div className='flex items-center w-full gap-1'>
|
||||||
<Button
|
<Button
|
||||||
icon={<FilterCogIcon size={7} />}
|
icon={<FilterCogIcon size={7} />}
|
||||||
|
@ -464,29 +461,38 @@ function EditorTermGraph({ onOpenEdit, onCreateCst, onDeleteCst }: EditorTermGra
|
||||||
>
|
>
|
||||||
<div className='relative top-0 right-0 z-10 flex m-2 flex-start'>
|
<div className='relative top-0 right-0 z-10 flex m-2 flex-start'>
|
||||||
<div className='px-1 py-1' id='items-graph-help' >
|
<div className='px-1 py-1' id='items-graph-help' >
|
||||||
<HelpIcon color='text-primary' size={6} />
|
<HelpIcon color='text-primary' size={5} />
|
||||||
</div>
|
</div>
|
||||||
<MiniButton
|
<MiniButton
|
||||||
icon={<ArrowsRotateIcon size={6} />}
|
icon={<ArrowsRotateIcon size={5} />}
|
||||||
tooltip='Пересоздать граф'
|
tooltip='Пересоздать граф'
|
||||||
onClick={handleRecreate}
|
onClick={handleRecreate}
|
||||||
/>
|
/>
|
||||||
</div>
|
</div>
|
||||||
<ConceptTooltip anchorSelect='#items-graph-help'>
|
<ConceptTooltip anchorSelect='#items-graph-help'>
|
||||||
<div>
|
<div className='flex'>
|
||||||
<h1>Настройка графа</h1>
|
<div>
|
||||||
<p><b>Цвет</b> - выбор правила покраски узлов</p>
|
<h1>Настройка графа</h1>
|
||||||
<p><b>Граф</b> - выбор модели расположения узлов</p>
|
<p><b>Цвет</b> - выбор правила покраски узлов</p>
|
||||||
<p><b>Удалить несвязанные</b> - в графе не отображаются одинокие вершины</p>
|
<p><b>Граф</b> - выбор модели расположения узлов</p>
|
||||||
<p><b>Транзитивная редукция</b> - в графе устраняются транзитивные пути</p>
|
<p><b>Удалить несвязанные</b> - скрыть одинокие вершины</p>
|
||||||
|
<p><b>Транзитивная редукция</b> - скрыть транзитивные пути</p>
|
||||||
|
|
||||||
<Divider margins='mt-2' />
|
<Divider margins='mt-2' />
|
||||||
|
|
||||||
<InfoCstClass title='Классы конституент' />
|
<CstStatusInfo title='Статусы конституент' />
|
||||||
|
</div>
|
||||||
|
<Divider vertical margins='mx-3' />
|
||||||
|
<div>
|
||||||
|
<h1>Горячие клавиши</h1>
|
||||||
|
<p><b>Клик на конституенту</b> - выделение, включая скрытые конституенты</p>
|
||||||
|
<p><b>Довйной клик</b> - редактирование конституенты</p>
|
||||||
|
<p><b>Delete</b> - удалить выбранные</p>
|
||||||
|
|
||||||
<Divider margins='mt-2' />
|
<Divider margins='mt-2' />
|
||||||
|
|
||||||
<CstStatusInfo title='Статусы конституент' />
|
<InfoCstClass title='Классы конституент' />
|
||||||
|
</div>
|
||||||
</div>
|
</div>
|
||||||
</ConceptTooltip>
|
</ConceptTooltip>
|
||||||
<GraphCanvas
|
<GraphCanvas
|
||||||
|
|
|
@ -341,7 +341,7 @@ export const mapStatusInfo: Map<ExpressionStatus, IFormatInfo> = new Map([
|
||||||
[ ExpressionStatus.INCALCULABLE, {
|
[ ExpressionStatus.INCALCULABLE, {
|
||||||
text: 'невыч',
|
text: 'невыч',
|
||||||
color: 'bg-[#ffbb80] dark:bg-[#964600]',
|
color: 'bg-[#ffbb80] dark:bg-[#964600]',
|
||||||
tooltip: 'выражение не вычислимо (экспоненциальная сложность)'
|
tooltip: 'выражение не вычислимо'
|
||||||
}],
|
}],
|
||||||
[ ExpressionStatus.PROPERTY, {
|
[ ExpressionStatus.PROPERTY, {
|
||||||
text: 'св-во',
|
text: 'св-во',
|
||||||
|
|
Loading…
Reference in New Issue
Block a user