Commit Graph

105 Commits

Author SHA1 Message Date
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
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
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
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
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
4383511a4a F: Add AST visualization for expression 2024-09-26 23:26:20 +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
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
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
16479d6299 D: Add documentation to react components pt1 2024-09-12 16:41:48 +03:00
Ivan
9804df4bae R: Replace disabled buttons with indicators 2024-09-12 14:47:46 +03:00
Ivan
9199518b25 M: Minor UI improvements 2024-09-12 11:57:20 +03:00
Ivan
296e740cc7 M: Improve layout for canvas - remove clipping top 2024-09-11 21:15:28 +03:00
Ivan
fe678de8e4 R: Refactor Cst order attribute
0-indexed used for storage only
2024-09-11 20:06:01 +03:00
Ivan
1078a271fb M: Small UI fixes 2024-09-07 16:26:16 +03:00
Ivan
168ff94c42 F: Improve RSEditor layout responsiveness
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-09-06 14:19:09 +03:00
Ivan
8035a604bd B: Fix renaming validation 2024-09-05 21:24:57 +03:00
Ivan
8f29c69b49 F: Add ordering to OSS arguments 2024-09-04 14:37:07 +03:00
Ivan
d23f02420a F: Improve tooltips positioning and text truncation
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-09-02 18:33:54 +03:00
Ivan
b882508d4b B: Fix selection after substitutions 2024-09-02 12:10:49 +03:00
Ivan
e2e864d18b M: Fix inheritance indicators 2024-09-01 11:15:40 +03:00
Ivan
51f22a4ff4 M: Fix breaking word in expressions 2024-08-31 12:24:02 +03:00
Ivan
4ed6975d84 M: Small UI fixes 2024-08-31 00:01:42 +03:00
Ivan
afe3ec0adb M: Remove expression column from sideview 2024-08-30 09:58:31 +03:00
Ivan
25029a212b B: Small dialog fixes
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-08-29 12:41:59 +03:00
Ivan
88652d57d3 F: Add xs size screen media query 2024-08-28 23:49:17 +03:00
Ivan
7790cc4ef2 B: Fix tooltip clipping after cst==null 2024-08-28 23:02:31 +03:00
Ivan
51ad937b99 B: Small UI fixes 2024-08-28 22:38:34 +03:00
Ivan
7555b2219d F: Add suggestions to substitution table 2024-08-28 15:42:57 +03:00
Ivan
584ce59f2d F: Add search feature to multiple cst selector 2024-08-25 13:52:14 +03:00
Ivan
f6b52adacd M: Improve mobile UI 2024-08-24 19:40:54 +03:00
Ivan
1efa13b1c5 F: Improve versioning UI 2024-08-24 12:29:09 +03:00
Ivan
ce857bb2cb M: Small UI layout fixes 2024-08-24 11:20:49 +03:00