mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-11-20 17:21:24 +03:00
M: Copy editing
This commit is contained in:
parent
b83f5ee0ab
commit
86ac5e5508
|
|
@ -11,7 +11,7 @@ export function HelpRSLangExpressionStructure() {
|
|||
зависимые или структурно новые понятия.
|
||||
</p>
|
||||
|
||||
<h2>Порождение структур</h2>
|
||||
<h2>Формирование структур</h2>
|
||||
<ul>
|
||||
<li>
|
||||
<b>Булеан / Множество подмножеств</b>: <code>ℬ(X1)</code> — множество всех подмножеств <code>X1</code>.
|
||||
|
|
|
|||
|
|
@ -43,7 +43,7 @@ export function HelpRSLangOperations() {
|
|||
</p>
|
||||
|
||||
<h2>
|
||||
<IconGenerateStructure size='1.25rem' className='inline-icon' /> Порождение структуры
|
||||
<IconGenerateStructure size='1.25rem' className='inline-icon' /> Раскрытие структуры
|
||||
</h2>
|
||||
<p>
|
||||
Порождение полной совокупности термов, раскрывающих структуру выбранной конституенты. Операция применима к
|
||||
|
|
|
|||
|
|
@ -28,7 +28,12 @@ export function TGNode(node: TGNodeInternal) {
|
|||
|
||||
return (
|
||||
<>
|
||||
<div className='relative h-full w-full pointer-events-auto!'>
|
||||
<div
|
||||
className='relative h-full w-full pointer-events-auto!'
|
||||
data-tooltip-id={globalIDs.tooltip}
|
||||
data-tooltip-html={describeCstNode(node.data.cst)}
|
||||
data-tooltip-hidden={node.dragging}
|
||||
>
|
||||
{connectionStart !== node.id ? (
|
||||
<Handle
|
||||
type='target'
|
||||
|
|
@ -58,9 +63,6 @@ export function TGNode(node: TGNodeInternal) {
|
|||
? APP_COLORS.bgDefault
|
||||
: colorBgGraphNode(node.data.cst, coloring)
|
||||
}}
|
||||
data-tooltip-id={globalIDs.tooltip}
|
||||
data-tooltip-html={describeCstNode(node.data.cst)}
|
||||
data-tooltip-hidden={node.dragging}
|
||||
>
|
||||
<div className='cc-node-label'>{label}</div>
|
||||
</div>
|
||||
|
|
|
|||
|
|
@ -94,7 +94,7 @@ export function DlgCstTemplate() {
|
|||
<TabList className='mb-3 mx-auto flex border divide-x rounded-none'>
|
||||
<TabLabel label='Шаблон' title='Выбор шаблона выражения' className='w-32' />
|
||||
<TabLabel label='Аргументы' title='Подстановка аргументов шаблона' className='w-32' />
|
||||
<TabLabel label='Конституента' title='Редактирование конституенты' className='w-32' />
|
||||
<TabLabel label='Редактор' title='Редактирование конституенты' className='w-32' />
|
||||
</TabList>
|
||||
|
||||
<FormProvider {...methods}>
|
||||
|
|
|
|||
|
|
@ -55,11 +55,7 @@ export function DlgGraphParams() {
|
|||
control={control}
|
||||
name='noHermits'
|
||||
render={({ field }) => (
|
||||
<Checkbox
|
||||
{...field}
|
||||
label='Скрыть несвязанные'
|
||||
titleHtml={prepareTooltip('Неиспользуемые конституенты', 'H')}
|
||||
/>
|
||||
<Checkbox {...field} label='Скрыть свободные' titleHtml={prepareTooltip('Конституенты без связей', 'H')} />
|
||||
)}
|
||||
/>
|
||||
<Controller
|
||||
|
|
|
|||
|
|
@ -63,9 +63,9 @@ const labelColoringRecord: Record<TGColoring, string> = {
|
|||
};
|
||||
|
||||
const labelGraphTypeRecord: Record<TGEdgeType, string> = {
|
||||
full: 'Связи: Все',
|
||||
definition: 'Связи: Определения',
|
||||
attribution: 'Связи: Атрибутирование'
|
||||
full: 'Связь: Все',
|
||||
definition: 'Связь: Определение',
|
||||
attribution: 'Связь: Атрибутирование'
|
||||
};
|
||||
|
||||
const labelCstMatchModeRecord: Record<CstMatchMode, string> = {
|
||||
|
|
|
|||
|
|
@ -177,9 +177,9 @@ export function MenuEditSchema() {
|
|||
disabled={!isContentEditable || isProcessing}
|
||||
/>
|
||||
<DropdownButton
|
||||
text='Порождение структуры'
|
||||
titleHtml='Раскрыть структуру типизации <br/>выделенной конституенты'
|
||||
aria-label='Раскрыть структуру типизации выделенной конституенты'
|
||||
text='Раскрытие структуры'
|
||||
titleHtml='Породить внутренние понятия<br/> по структуре типизации<br/> выделенной конституенты'
|
||||
aria-label='Породить внутренние понятия по структуре типизации выделенной конституенты'
|
||||
icon={<IconGenerateStructure size='1rem' className='icon-primary' />}
|
||||
onClick={() => handleProduceStructure(activeCst)}
|
||||
disabled={!isContentEditable || isProcessing || !activeCst || !canProduceStructure(activeCst)}
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user