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

Fix hotkey descriptions

Browse Source
This commit is contained in:
IRBorisov 2023-09-19 22:52:27 +03:00
parent d55c5238a9
commit a1a9886ca3
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
rsconcept/frontend/src/utils/staticUI.ts
View File

@ -116,11 +116,11 @@ export function getRSButtonData(id: TokenID): IDescriptor {
}; };
case TokenID.GREATER_OR_EQ: return { case TokenID.GREATER_OR_EQ: return {
text: '≥', text: '≥',
tooltip: 'больше или равно' tooltip: 'больше или равно [Alt + Shift + 7]'
}; };
case TokenID.LESSER_OR_EQ: return { case TokenID.LESSER_OR_EQ: return {
text: '≤', text: '≤',
tooltip: 'меньше или равно' tooltip: 'меньше или равно [Alt + Shift + 8]'
}; };
case TokenID.IN: return { case TokenID.IN: return {
text: '∈', text: '∈',
@ -136,7 +136,7 @@ export function getRSButtonData(id: TokenID): IDescriptor {
}; };
case TokenID.SUBSET: return { case TokenID.SUBSET: return {
text: '⊂', text: '⊂',
tooltip: 'строгое подмножество [Alt + ;]' tooltip: 'строгое подмножество [Alt + 7]'
}; };
case TokenID.NOTSUBSET: return { case TokenID.NOTSUBSET: return {
text: '⊄', text: '⊄',
@ -144,11 +144,11 @@ export function getRSButtonData(id: TokenID): IDescriptor {
}; };
case TokenID.INTERSECTION: return { case TokenID.INTERSECTION: return {
text: '∩', text: '∩',
tooltip: 'пересечение [Alt + Y]' tooltip: 'пересечение [Alt + A]'
}; };
case TokenID.UNION: return { case TokenID.UNION: return {
text: '∪', text: '∪',
tooltip: 'объединение [Alt + U]' tooltip: 'объединение [Alt + S]'
}; };
case TokenID.SET_MINUS: return { case TokenID.SET_MINUS: return {
text: '\\', text: '\\',