arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
632 Commits 4 Branches 0 Tags 5.4 MiB
780d632d8a
Commit Graph

632 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Arne Keller
7396fc2158 Result javadocs 2021-03-10 16:20:25 +01:00
Arne Keller
4c0eb78300 Limit memory usage of LatexCreatorType 2021-03-10 16:07:52 +01:00
Arne Keller
08b80257e2 Installation instructions: port 80 2021-03-10 16:07:52 +01:00
Arne Keller
93d95e447c Don't scroll page when using key shortcuts 2021-03-10 16:07:52 +01:00
Arne Keller
69c0e6563f Vaadin 18 -> 19 2021-03-10 16:07:52 +01:00
Arne Keller
dc1ae348d6 Fix unnecessary scroll bars 2021-03-10 16:07:52 +01:00
Arne Keller
66f34fedc4 Minimum width of type rules 2021-03-10 16:07:52 +01:00
uogau
ee1847358d TypeAssumptions close button now only works when type assumptions are correct 2021-03-10 14:58:33 +01:00
Johanna Stuber
8068f82d40 adapt blue unification area to max content 2021-03-10 12:27:22 +01:00
Arne Keller
86496440ed WIP: convert drawer to normal element 2021-03-10 10:40:21 +01:00
uogau
232a5e21af Fixed some SonarLint complaints in Model 2021-03-09 23:00:08 +01:00
Arne Keller
92296a8373 Limit initial SVG zoom + move zoom controls to upper left 2021-03-09 14:55:34 +01:00
Arne Keller
5c49e03ba0 Focus input automatically 2021-03-09 14:34:15 +01:00
Arne Keller
a4224f4263 Codestyle TypeAssumptionParser 2021-03-09 14:32:27 +01:00
Arne Keller
9c8897d436 Re-focus input bar on syntax error 2021-03-08 20:47:39 +01:00
Arne Keller
cd5213a929 Code style misc. classes 2021-03-08 20:38:26 +01:00
Arne Keller
081e3e188b Fix touch interaction with proof tree 2021-03-08 12:42:32 +01:00
Arne Keller
9c599de580 Fix overflow of upper bar 2021-03-08 12:24:15 +01:00
Arne Keller
e40166e541 Fix start page overflow behaviour 2021-03-08 12:21:35 +01:00
Arne Keller
1b642e84f9 Code style in util and parser 2021-03-08 11:40:05 +01:00
Arne Keller
8d6782793e URL-encode spaces in share link 2021-03-08 11:04:30 +01:00
Arne Keller
3f07a6d234 Fuzzing setup + documentation 2021-03-08 10:53:59 +01:00
Arne Keller
bd8a7a26cf Fix scrolling of type inference view 2021-03-08 08:25:39 +01:00
uogau
edd7d89e9c fixed checkstyle 2021-03-08 01:39:19 +01:00
uogau
dc4aaeda0a set share dialog text fields to read only 2021-03-08 01:36:43 +01:00
Johanna Stuber
77e565426a Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-07 22:20:38 +01:00
Johanna Stuber
5b86874e0c new line after each 10 constraints 2021-03-07 22:20:18 +01:00
Arne Keller
ac932a6e0c Fix page title not updating 2021-03-07 21:31:50 +01:00
Arne Keller
c5d146a137 Move styling into CSS 2021-03-07 20:24:57 +01:00
Moritz Dieing
815b1f0bd9 Fix pipeline 2021-03-07 17:20:08 +01:00
Moritz Dieing
92c694b847 Improved type assumptions 2021-03-07 17:09:19 +01:00
Moritz Dieing
8f8b9e967d Use client value for the algorithm 2021-03-07 14:17:21 +01:00
Johanna Stuber
7a28facd83 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-07 13:44:19 +01:00
Johanna Stuber
69ab9b6050 code style in view, typos in translation_de 2021-03-07 13:44:07 +01:00
Moritz Dieing
5c11d160d1 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-07 13:03:43 +01:00
Moritz Dieing
e06041bfcb Autoselect for ShareDialog 2021-03-07 13:03:35 +01:00
ucrhh
f6112424ee Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-07 13:02:33 +01:00
ucrhh
b635a9c5c6 make control panel on startpage fixed in position 2021-03-07 13:02:09 +01:00
Moritz Dieing
24feec3bc4 Better replacement of type variables 2021-03-07 12:44:52 +01:00
ucrhh
43d1a80242 fix some warnings 2021-03-07 11:51:46 +01:00
ucrhh
85bf7df675 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-07 11:19:04 +01:00
ucrhh
cd20ce023e refresh unification error message on localeChange 2021-03-07 11:18:52 +01:00
Arne Keller
aeecea7577 Resolve TODO in LatexCreator 2021-03-07 11:15:37 +01:00
Arne Keller
7b3f412dd8 Move help style to CSS 2021-03-07 11:15:37 +01:00
Arne Keller
c22c125b7b Activate shortcuts only if possible 2021-03-07 11:15:37 +01:00
ucrhh
05885a4e6e remove old todos 2021-03-07 10:33:34 +01:00
Johanna Stuber
907f766166 merge 2021-03-06 22:19:22 +01:00
Johanna Stuber
40a04d4646 add inference view features paragraph in help dialogue 2021-03-06 22:14:23 +01:00
Arne Keller
de8b2c0fe3 Set pattern attribute of field, show error border 2021-03-06 21:46:53 +01:00
Arne Keller
251d7a3fc2 Attach character + position to some errors 2021-03-06 20:39:10 +01:00