126 Commits

Author	SHA1	Message	Date
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
Arne Keller	a807179b05	Pointer cursor for buttons	2021-03-02 18:24:18 +01:00
Arne Keller	3a20b338ff	Optimize MathJax layout algorithm	2021-02-27 21:28:17 +01:00
Arne Keller	f86e38e305	Remove custom index.html ... Breaks HTML5 compatibility	2021-02-25 11:01:36 +01:00
Arne Keller	fecb53f9ca	Shrink button width	2021-02-25 10:40:01 +01:00
Arne Keller	d09345259a	Small style adjustments	2021-02-21 10:34:09 +01:00
Moritz Dieing	9c38621c34	Some english strings + layout changes	2021-02-19 13:37:07 +01:00
Moritz Dieing	ef81ef948f	German version of start page	2021-02-19 12:31:23 +01:00
Moritz Dieing	43af68812e	Save button for type assumptions	2021-02-17 17:29:04 +01:00
Arne Keller	a2b4a06e50	Fix share dialog size	2021-02-17 16:36:06 +01:00
Moritz Dieing	49c767bd0f	Add typeInfer button to helpDialog	2021-02-16 16:17:02 +01:00
Moritz Dieing	cee2a964cc	Improved error message	2021-02-16 14:53:40 +01:00
Moritz Dieing	38c3a61882	Set height and accordion width	2021-02-14 13:57:05 +01:00
Arne Keller	0bb88280b8	Set size only for help dialog	2021-02-14 13:51:08 +01:00
Arne Keller	ed21276f46	Workaround for Vaadin weirdness	2021-02-14 13:13:09 +01:00