ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-26 13:00:39 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Small UI fixes

Browse Source
This commit is contained in:
IRBorisov 2023-10-11 15:19:27 +03:00
parent 3a67a1ae6b
commit 7a5471fa29
5 changed files with 20 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rsconcept/frontend/src/components/Help/HelpAPI.tsx
View File

@ -7,7 +7,7 @@ function HelpAPI() {
<h1>Программный интерфейс Портала</h1>
<p>В качестве программного интерфейса сервера используется REST API, реализованный с помощью Django.</p>
<p>На данный момент API находится в разработке, поэтому поддержка внешних запросов не производится.</p>
<p>С описанием интерфейса можно ознакомиться <TextURL text='по ссылке' href={urls.restapi}/>. Описания требований к запросам не полные.</p>
<p>С описанием интерфейса можно ознакомиться <TextURL text='по ссылке' href={urls.restapi}/>.</p>
<p><TextURL text='Принять участие в разработке' href={urls.gitrepo}/></p>
</div>);
}

7
rsconcept/frontend/src/components/Help/HelpMain.tsx
View File

@ -1,4 +1,3 @@
import { LibraryFilterStrategy } from '../../models/miscelanious';
import { urls } from '../../utils/constants';
import TextURL from '../Common/TextURL';
@ -8,9 +7,7 @@ function HelpMain() {
<h1>Портал</h1>
<p className=''>Портал позволяет анализировать предметные области, формально записывать системы определений (концептуальные схемы) и синтезировать их с помощью математического аппарата родов структур.</p>
<p className='mt-4 mb-1 text-center'><b>Основные разделы</b></p>
<li><TextURL text='Библиотека' href='/library' /> - все схемы доступные пользователю</li>
<li><TextURL text='Общие схемы' href={`/library?filter=${LibraryFilterStrategy.COMMON}`} /> - общедоступные схемы и инструменты поиска и навигации по ним</li>
<li><TextURL text='Мои схемы' href={`/library?filter=${LibraryFilterStrategy.PERSONAL}`} /> - отслеживаемые и редактируемые схемы. Основной рабочий раздел</li>
<li><TextURL text='Библиотека' href='/library' /> - библиотека концептуальных схем. Доступны сортировка, поиск и фильтрация</li>
<li><TextURL text='Профиль' href='/profile' /> - данные пользователя и смена пароля</li>
<p className='mt-4 mb-1 text-center'><b>Навигация</b></p>
@ -19,7 +16,7 @@ function HelpMain() {
<p className='mt-4 mb-1 text-center'><b>Поддержка</b></p>
<p>Портал разрабатывается <TextURL text='Центром Концепт' href={urls.concept}/> и является проектом с открытым исходным кодом, доступным на <TextURL text='Github' href={urls.gitrepo}/>.</p>
<p>Ждём Ваши пожелания по доработке, найденные ошибки и иные предложения по адресу <TextURL href={urls.mailportal} text='portal@acconcept.ru'/></p>
<p>Ваши пожелания по доработке, найденные ошибки и иные предложения можно направлять по email: <TextURL href={urls.mailportal} text='portal@acconcept.ru'/></p>
</div>);
}

17
rsconcept/frontend/src/components/RSInput/index.tsx
View File

@ -100,9 +100,20 @@ function RSInput({
return;
}
const text = new RSTextWrapper(thisRef.current as Required<ReactCodeMirrorRef>);
if (event.shiftKey && event.key === '*' && !event.altKey) {
text.insertToken(TokenID.DECART);
} else if (event.altKey) {
if (event.shiftKey && !event.altKey) {
if (event.key === '*') {
text.insertToken(TokenID.DECART);
event.preventDefault();
return;
}
if (event.key === 'B') {
text.insertChar('ℬ');
event.preventDefault();
return;
}
}
if (event.altKey) {
if (!text.processAltKey(event.code, event.shiftKey)) {
return;
}

2
rsconcept/frontend/src/pages/RSFormPage/DlgCreateCst.tsx
View File

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

4
rsconcept/frontend/src/utils/labels.ts
View File

@ -84,8 +84,8 @@ export function labelToken(id: TokenID): string {
export function describeToken(id: TokenID): string {
switch (id) {
case TokenID.BOOLEAN: return 'Булеан [Alt + E]';
case TokenID.DECART: return 'Декартово произведение [Shift + 8 / Alt + Shift + E]';
case TokenID.BOOLEAN: return 'Булеан [Alt + E / Shift + B]';
case TokenID.DECART: return 'Декартово произведение [Alt + Shift + E / Shift + 8]';
case TokenID.PUNC_PL: return 'Скобки вокруг выражения [Alt + Shift + 9 ]';
case TokenID.PUNC_SL: return 'Скобки вокруг выражения [Alt + [ ]';
case TokenID.FORALL: return 'Квантор всеобщности [`]';