79 Commits

Author	SHA1	Message	Date
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
Moritz Dieing	b2209bcdaf	Set dialog width in java ... Css solution did not work when all accordion panels were closed	2021-02-14 12:05:46 +01:00
Arne Keller	5a9903e754	Move style to CSS files	2021-02-13 17:49:29 +01:00
Moritz Dieing	81b74bd92d	Use classic drawer toggle ... Use classic drawer toggle since its described in help content now.	2021-02-13 15:03:49 +01:00
Arne Keller	4e7d124720	Consistent padding of help dialog	2021-02-13 10:31:08 +01:00
Moritz Dieing	288e954f3e	Suggestion for design of help dialog	2021-02-13 01:40:58 +01:00
Arne Keller	a00cd12d2e	Fix info dialog close button position	2021-02-11 12:28:32 +01:00
Arne Keller	541f9c54e8	Tree min height of 75%	2021-02-10 16:46:34 +01:00
ucrhh	585b402cd7	add border to proof tree	2021-02-09 22:09:34 +01:00
Moritz Dieing	b7d5611755	Implement TypeAssumptions (frontend)	2021-02-08 00:54:40 +01:00
Moritz Dieing	c42fd73361	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-06 12:09:40 +01:00
Moritz Dieing	619e6da18c	Change drawer width + render on language change	2021-02-06 12:06:49 +01:00
Arne Keller	843430439d	Fix layout of upper bar	2021-02-06 10:42:02 +01:00
Moritz Dieing	4c98976059	Extends content of infoDialog	2021-02-05 23:58:19 +01:00
Moritz Dieing	54e0777eab	Content for info dialog	2021-02-05 18:48:13 +01:00
Moritz Dieing	cab1e74490	Add language select	2021-02-04 20:09:28 +01:00
Moritz Dieing	a4659f8386	Extend language files	2021-02-04 20:09:09 +01:00
Arne Keller	0cb09b92ec	Increase size of SVG to 100%	2021-02-03 15:10:51 +01:00
Arne Keller	15ede65458	Make drawer more obvious	2021-02-01 15:35:15 +01:00
Moritz Dieing	1d903f7626	Structure for infoDialog	2021-01-31 14:02:05 +01:00
Moritz Dieing	69b9ef4773	DrawerContent erweitert + styling und logik besser getrennt	2021-01-30 01:28:53 +01:00
Moritz Dieing	19549357bd	DrawerContent und RuleField erweitert	2021-01-29 19:03:15 +01:00
Moritz Dieing	158760ed5f	HelpDialog und kleinere Änderungen	2021-01-29 17:15:59 +01:00
Arne Keller	d9660c6299	Replace combobox with less annoying example dialog	2021-01-29 10:02:14 +01:00
Moritz Dieing	36e8b4c020	UpperBar + InputBar erweitert	2021-01-29 01:25:49 +01:00
Moritz Dieing	c37934f898	UpperBar erweitert	2021-01-28 12:16:10 +01:00
Me	34f4e7c49e	add more classes	2021-01-27 10:23:05 +01:00