45 Commits

Author	SHA1	Message	Date
Eugene Pankov	b6c97ffa49	ui tweaks	2019-12-15 16:57:38 +01:00
Eugene Pankov	471f9effcf	better search UI	2019-12-01 18:52:22 +01:00
Eugene Pankov	5e848f14df	settings sidebar sizing fix	2019-10-26 20:00:10 +02:00
Eugene Pankov	0e8482e28d	Search (fixes #85)	2019-06-05 22:04:40 +02:00
Eugene Pankov	48ff7d7d5a	use profiles for everything	2019-05-11 21:28:04 +02:00
Eugene Pankov	2ca6135c06	ui tweaks	2018-12-21 20:43:11 +01:00
Eugene Pankov	137dd0bbe8	profile editor, env vars editor, creating profiles from shell list	2018-12-18 15:08:23 +01:00
Eugene Pankov	2606b910f1	nicer scrollbars (fixes #440)	2018-12-07 14:54:56 +01:00
Eugene Pankov	258665aaac	UI tweaks	2018-10-22 15:44:12 +02:00
Eugene Pankov	c13159f7e2	nicer config editor font	2018-10-12 13:49:59 +02:00
Eugene Pankov	a04c60046e	new light theme	2018-09-23 14:10:19 +02:00
Eugene Pankov	f8bc94fe78	theme tweak	2018-09-20 11:55:23 +02:00
Eugene Pankov	5a32a45b19	theme tweaks	2018-09-20 11:46:47 +02:00
Eugene Pankov	4ceb8ff897	theme fix	2018-09-10 17:40:57 +02:00
Eugene Pankov	d6f163b048	cleaned up #409 and renamed to Groups	2018-09-04 22:39:00 +02:00
Eugene Pankov	2e558e2aa2	added config file editor	2018-08-26 22:27:50 +02:00
Eugene Pankov	a98f2ce12d	bumped bootstrap	2018-08-26 21:03:49 +02:00
Eugene Pankov	06d14f9bb2	settings redesign	2018-08-25 09:37:56 +02:00
Eugene Pankov	64f670bd86	report progress from the console commands in tab headers and taskbar	2018-08-25 00:22:43 +02:00
Eugene Pankov	b57ff8f37a	theme tweak	2018-08-08 09:32:28 +02:00
Eugene Pankov	538b5c4c28	Allow reordering tabs (fixes #82)	2018-08-07 08:51:19 +02:00
Eugene Pankov	cc9c66c4a9	Vibrancy (fixes #5) (#383)	2018-08-02 10:34:46 -07:00
Eugene Pankov	7cb6642f1e	theme tweaks	2018-05-20 13:45:27 +02:00
Eugene Pankov	5087224017	refreshed settings UI (fixes #314)	2018-04-01 19:51:04 +02:00
Eugene Pankov	bebde4799d	updated tab design	2018-03-23 17:45:11 +01:00
Eugene Pankov	e52fd0a3dd	theming fix	2017-10-08 14:56:51 +02:00
Eugene Pankov	53ac39232c	a compact theme	2017-10-08 14:47:14 +02:00
Eugene Pankov	80699ee13f	handle plugin loading errors	2017-08-13 15:13:04 +03:00
Eugene Pankov	0a8af12a93	branding	2017-08-04 13:17:50 +02:00
Eugene Pankov	ed0bfb39f3	fixes	2017-07-15 19:17:44 +02:00
Eugene Pankov	2edcd5b57a	wip	2017-06-04 18:58:00 +02:00
Eugene Pankov	73722c0b2f	wip	2017-06-01 22:23:36 +02:00
Eugene Pankov	94d8886d5a	.	2017-04-28 22:40:58 +02:00
Eugene Pankov	c7828e55f2	.	2017-04-28 21:37:39 +02:00
Eugene Pankov	8be70110fe	.	2017-04-28 17:20:21 +02:00
Eugene Pankov	cfd26ba4ea	.	2017-04-28 16:55:51 +02:00
Eugene Pankov	633ef9e791	.	2017-04-27 19:16:17 +02:00
Eugene Pankov	2f4afd7625	.	2017-04-24 00:34:07 +02:00
Eugene Pankov	e6310a17f8	.	2017-04-17 22:43:26 +02:00
Eugene Pankov	919aa7c65f	.	2017-04-17 14:57:22 +02:00
Eugene Pankov	8385161417	.	2017-04-16 20:06:29 +02:00
Eugene Pankov	b7c523b0c7	.	2017-04-16 17:13:03 +02:00
Eugene Pankov	fa02eb38e9	.	2017-04-14 21:53:19 +02:00
Eugene Pankov	c3cc57f897	.	2017-04-14 18:29:49 +02:00
Eugene Pankov	dc513b427d	done	2017-04-11 22:45:59 +02:00