ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-27 13:30:36 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
990 Commits 2 Branches 0 Tags 21 MiB
a869f42fce
Commit Graph

573 Commits

Author SHA1 Message Date
Ivan
a869f42fce F: Add TypeGraph manual page 2024-11-19 22:30:52 +03:00
Ivan
5d68f05b85 M: Disable move buttons when all selected 2024-11-19 21:56:26 +03:00
Ivan
29b169bef4 F: Implementing M-Graph pt3 2024-11-14 22:10:29 +03:00
Ivan
178499676c M: minor text fixes
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-11-07 23:15:44 +03:00
Ivan
402277e30e F: Implementing M-Graph pt1
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-10-31 15:21:50 +03:00
Ivan
2b42329956 M: Decouple statusbar and graph nodes colors 2024-10-31 10:56:12 +03:00
Ivan
ba08844ff8 M: Small UI fix
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-10-30 21:48:17 +03:00
Ivan
06f59e3ed3 R: Improve conditional hook performance 2024-10-30 21:41:52 +03:00
Ivan
9c336e324b R: Improve OSS rendering 2024-10-30 19:56:48 +03:00
Ivan
df4adf72a5 M: Update manuals
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-10-30 10:39:26 +03:00
Ivan
8d5ce8b0cf F: Improve Help UI for dialogs 2024-10-29 12:06:43 +03:00
Ivan
9761cc2c9d F: Constituenta relocation: final part
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Details
Backend CI / build (3.12) (push) Has been cancelled
Details
2024-10-28 23:55:25 +03:00
Ivan
2b312cebb1 F: Constituenta relocation pt2 2024-10-28 14:53:41 +03:00
Ivan
79d8184193 R: Add eslint-plugin-react-hooks and
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-10-23 16:29:35 +03:00
Ivan
5700462ad5 F: Implement constituenta relocation pt1 2024-10-23 15:31:24 +03:00
Ivan
b912594b20 M: Minor style fixes 2024-10-03 18:02:24 +03:00
Ivan
df81c4e125 F: Rework user filter for LibraryPage 2024-09-27 12:23:26 +03:00
Ivan
77be306cf1 F: Add AST visualization for expression
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-26 23:26:48 +03:00
Ivan
53e93dbab0 B: Correctly process invalid manuals topic name
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-26 11:48:42 +03:00
Ivan
b7cfb3082b M: Fix placeholder text
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-09-23 14:58:53 +03:00
Ivan
ae1fceafcf M: Remove MockCst from sideView 2024-09-23 11:54:18 +03:00
Ivan
990b340705 M: Improve manuals UI layout 2024-09-23 10:34:14 +03:00
Ivan
35bfc86533 F: Update pyconcept and implement improved typechecking
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Details
Backend CI / build (3.12) (push) Has been cancelled
Details
2024-09-22 20:25:36 +03:00
Ivan
7f88d030d4 M: Small UI layout fixes
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-21 20:24:32 +03:00
Ivan
c92a4058b9 M: Minor UI fixes
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-09-19 21:15:08 +03:00
Ivan
abc28940a9 R: use React.PropsWithChildren 2024-09-19 17:49:25 +03:00
Ivan
c75258bfa9 B: Fix inserting operation in empty OSS 2024-09-19 16:27:16 +03:00
Ivan
4b15bfdd6d M: Edit manuals
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-18 12:54:59 +03:00
Ivan
6338888095 M: allow single operand synthesis
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-09-16 20:02:38 +03:00
Ivan
636a9a1650 M: UI improvements 2024-09-16 14:07:11 +03:00
Ivan
87ed5b39ae M: Improve Library location navigation
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-15 21:19:17 +03:00
Ivan
fcfc2e909b F: Add schemas coloring option for TermGraph
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Details
Backend CI / build (3.12) (push) Has been cancelled
Details
2024-09-14 17:11:50 +03:00
Ivan
e0eb06b27f B: Fix buttons layers 2024-09-14 16:14:04 +03:00
Ivan
80680a7bf2 R: Add inherited cst source to API 2024-09-14 15:15:36 +03:00
Ivan
713d436aa6 M: Shorten manuals landing page
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-13 13:31:23 +03:00
Ivan
c18efc93e1 D: Add documentation to react components pt1 2024-09-12 16:42:02 +03:00
Ivan
3e34414b85 R: Replace disabled buttons with indicators 2024-09-12 15:08:22 +03:00
Ivan
f7354c9883 F: Improve schema picker filtering 2024-09-12 15:08:22 +03:00
Ivan
dc60c79f81 M: Minor UI improvements 2024-09-12 11:57:43 +03:00
Ivan
76d54fa709 B: Fix OSS image export. Use PNG for now
Some checks are pending
Backend CI / build (3.12) (push) Waiting to run
Details
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-12 00:13:29 +03:00
Ivan
f8d411eced B: Fix react-flow attribution styling 2024-09-11 21:27:09 +03:00
Ivan
997021d628 M: Improve layout for canvas - remove clipping top 2024-09-11 21:15:53 +03:00
Ivan
aa33d0af6f R: Simplify Constituenta order attribute 
0-indexed used for database storage only
 2024-09-11 20:06:58 +03:00
Ivan
ca79161ed8 M: Fix text wrap for long filenames
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-09-07 19:13:16 +03:00
Ivan
701f9b57b9 M: Small UI fixes
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-07 16:26:41 +03:00
Ivan
3d45510cd6 M: Implement projection swap on ctrl + space
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-06 15:59:28 +03:00
Ivan
31fb5b82ef F: Improve RSEditor layout responsiveness 2024-09-06 14:19:59 +03:00
Ivan
95f833d97d B: Fix renaming validation
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-05 21:25:09 +03:00
Ivan
38766f3588 B: Save ordering when selection changes 2024-09-05 20:28:25 +03:00
Ivan
b2f9c26155 M: Fix text justify for manuals 2024-09-05 20:13:59 +03:00