ucrhh
|
e81a532341
|
fix styling
|
2021-03-14 10:22:17 +01:00 |
|
ucrhh
|
3dd79320be
|
make example buttons refresh on locale change
|
2021-03-13 12:26:23 +01:00 |
|
Arne Keller
|
ba8d221a42
|
Tooltip on entire plus button
|
2021-03-12 10:59:50 +01:00 |
|
ucrhh
|
9a3b5586a6
|
make help icon white
|
2021-03-12 10:37:19 +01:00 |
|
Arne Keller
|
2eaf3eff15
|
Fix width of type inference rules
|
2021-03-11 17:10:15 +01:00 |
|
Johanna Stuber
|
648594bca3
|
add hr to footer, optimize styling
|
2021-03-11 16:22:20 +01:00 |
|
ucrhh
|
5197f9be93
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-03-11 15:11:39 +01:00 |
|
ucrhh
|
f409e1e060
|
some styling
|
2021-03-11 15:11:22 +01:00 |
|
Arne Keller
|
d68d0abd2b
|
Codestyle
|
2021-03-11 15:07:47 +01:00 |
|
Arne Keller
|
1dab9a3996
|
Zoom control tooltips
|
2021-03-11 14:56:10 +01:00 |
|
Arne Keller
|
ce01676a42
|
Convert frontend scripts to TypeScript
|
2021-03-10 18:39:41 +01:00 |
|
Arne Keller
|
a43dad53a6
|
Optimize frontend calls
|
2021-03-10 18:04:32 +01:00 |
|
Arne Keller
|
3a0ee669d4
|
Cleanup
|
2021-03-10 16:49:35 +01:00 |
|
Arne Keller
|
93d95e447c
|
Don't scroll page when using key shortcuts
|
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 |
|
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 |
|
Arne Keller
|
92296a8373
|
Limit initial SVG zoom + move zoom controls to upper left
|
2021-03-09 14:55:34 +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
|
bd8a7a26cf
|
Fix scrolling of type inference view
|
2021-03-08 08:25:39 +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
|
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 |
|
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 |
|
Johanna Stuber
|
907f766166
|
merge
|
2021-03-06 22:19:22 +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 |
|
Johanna Stuber
|
b03d33a91c
|
add typiclacInfo
|
2021-03-06 18:56:35 +01:00 |
|
ucrhh
|
06e6135a3b
|
change error notification to error page
|
2021-03-05 22:05:24 +01:00 |
|
Moritz Dieing
|
3fd5de7611
|
Better hover for buttons
|
2021-03-05 17:44:37 +01:00 |
|
ucrhh
|
f1df0fee45
|
merge
|
2021-03-05 16:21:04 +01:00 |
|
ucrhh
|
26d10ce0cb
|
add shortcut panel
|
2021-03-05 16:16:38 +01:00 |
|
Arne Keller
|
a442f5caf5
|
Fix checkstyle issue
|
2021-03-05 15:51:01 +01:00 |
|
Arne Keller
|
a6856d1252
|
Fancy key shortcut characters
|
2021-03-05 15:47:27 +01:00 |
|
uogau
|
92d0e77bb6
|
added close buttons to dialog
|
2021-03-05 13:26:22 +01:00 |
|
Moritz Dieing
|
a7eaf394ec
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-03-05 12:44:29 +01:00 |
|
Moritz Dieing
|
7a80ccb577
|
Smaller copy button with notification
|
2021-03-05 12:44:17 +01:00 |
|
Arne Keller
|
6ebe1a7450
|
Fix keyboard navigation in upper bar
As a bonus, it is now more obvious that the icons are buttons too
|
2021-03-05 09:08:54 +01:00 |
|
Arne Keller
|
9363533e6a
|
Focus input field on / press
|
2021-03-05 08:52:08 +01:00 |
|
Arne Keller
|
37f5b64518
|
Fix scope of key shortcuts
|
2021-03-04 23:16:08 +01:00 |
|
Moritz Dieing
|
592ace9882
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-03-03 19:53:53 +01:00 |
|
Moritz Dieing
|
b1fb1d8ef5
|
Better type in type assumptions
|
2021-03-03 19:53:39 +01:00 |
|