Commit Graph

194 Commits

Author SHA1 Message Date
Ivan
968c97b374 R: Use monadic conditional call 2024-12-04 22:52:45 +03:00
Ivan
0725c8220d M: Small UI fixes 2024-12-04 20:07:01 +03:00
Ivan
a2615a9236 M: Minor UI fix for small screens
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-12-03 19:35:28 +03:00
Ivan
fc9d21d425 R: Small UI refactoring and improvement 2024-12-03 12:46:25 +03:00
Ivan
4012b8f995 fix 2024-12-02 21:00:11 +03:00
Ivan
a63af2b5cf M: Update GraphUI 2024-12-02 20:46:54 +03:00
Ivan
82731be327 M: UI fixes 2024-12-02 16:07:40 +03:00
Ivan
f6bb76f5e1 F: Term graph rework pt1 2024-12-02 15:58:18 +03:00
Ivan
39c972eeea R: Upgrade to react-router v7 2024-11-25 19:52:57 +03:00
Ivan
b03e2033eb M: Improve Typification UI
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-11-21 22:14:11 +03:00
Ivan
71659b8c15 F: Implement AST visualization using reactflow 2024-11-21 21:38:32 +03:00
Ivan
4172e387c2 D: Improve TSDocs for frontend components 2024-11-21 15:09:31 +03:00
Ivan
c7df031041 R: Decouple setters from onChange events 2024-11-21 00:26:04 +03:00
Ivan
2b29f0b7bf F: Add TypeGraph for RSForm
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-11-20 10:38:26 +03:00
Ivan
d0793d0e1c F: Add TypeGraph manual page 2024-11-19 22:30:33 +03:00
Ivan
581e7caf9c M: Disable move buttons when all selected 2024-11-19 21:56:02 +03:00
Ivan
2b97e109b4 F: Implementing M-Graph pt3
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-11-14 22:09:40 +03:00
Ivan
c60b4398ed F: Implementing M-Graph pt2 2024-11-07 23:14:38 +03:00
Ivan
26a74202a1 F: Implementing M-Graph pt1 2024-10-31 15:20:50 +03:00
Ivan
12afd5997e M: Decouple statusbar and graph nodes colors 2024-10-31 10:55:45 +03:00
Ivan
9e9d8a3f08 M: Small UI fix
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-10-30 21:48:07 +03:00
Ivan
fdc432ed57 R: Improve conditional hook performance 2024-10-30 21:41:38 +03:00
Ivan
bc460c7f19 R: Improve OSS rendering 2024-10-30 19:56:31 +03:00
Ivan
4462a95885 M: Update manuals 2024-10-30 10:39:05 +03:00
Ivan
dde592bd32 F: Improve Help UI for dialogs 2024-10-29 12:05:23 +03:00
Ivan
227c0a2975 F: Constituenta relocation: final part 2024-10-28 23:55:12 +03:00
Ivan
f0af0db3f9 F: Constituenta relocation pt2 2024-10-28 14:52:30 +03:00
Ivan
731ca12308 R: Add eslint-plugin-react-hooks and fix issues 2024-10-23 16:27:56 +03:00
Ivan
1da81dbfc1 F: Constituenta relocation pt1 2024-10-23 15:18:46 +03:00
Ivan
92f495f5b8 M: Minor style fixes 2024-10-03 18:02:05 +03:00
Ivan
124abf33eb F: Rework user filter for LibraryPage 2024-09-27 12:23:09 +03:00
Ivan
4383511a4a F: Add AST visualization for expression 2024-09-26 23:26:20 +03:00
Ivan
aeaa92df3f B: Correctly process invalid manuals topic name 2024-09-26 11:48:22 +03:00
Ivan
861cb382ee M: Fix placeholder text 2024-09-23 14:58:28 +03:00
Ivan
e1969b017b M: Remove MockCst from sideView 2024-09-23 11:53:46 +03:00
Ivan
bfd429e004 M: Improve manuals UI layout 2024-09-23 10:33:47 +03:00
Ivan
df4323d214 F: Update pyconcept and implement improved typechecking 2024-09-22 20:25:10 +03:00
Ivan
1f84abbc24 M: Small UI layout fixes
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-09-21 20:24:18 +03:00
Ivan
6d8462565a M: Minor UI fixes 2024-09-19 21:14:51 +03:00
Ivan
02b07d2874 R: React.PropsWithChildren 2024-09-19 17:48:48 +03:00
Ivan
ccf1818e20 B: Fix inserting operation in empty OSS 2024-09-19 16:26:49 +03:00
Ivan
17ec9ea69d M: Edit manuals 2024-09-18 12:54:16 +03:00
Ivan
93f2e772f6 M: allow single operand synthesis 2024-09-16 20:01:48 +03:00
Ivan
a919cf6baa M: Minor UI improvements 2024-09-16 14:06:42 +03:00
Ivan
0a0342efc6 M: Improve Library location navigation 2024-09-15 21:18:32 +03:00
Ivan
0149f98c8b F: Add schemas coloring option for TermGraph
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-09-14 17:11:26 +03:00
Ivan
d33f3e02b4 B: Fix buttons layers 2024-09-14 16:13:51 +03:00
Ivan
3555db3edf R: Add inherited cst source to API 2024-09-14 15:14:48 +03:00
Ivan
fc669b8b3a M: Shorten manuals landing page 2024-09-13 13:31:03 +03:00
Ivan
16479d6299 D: Add documentation to react components pt1 2024-09-12 16:41:48 +03:00