64 Commits

Include renames

Author	SHA1	Message	Date
Romain	3ab0255d5f	Add icons to preferences headerbar	2020-09-24 11:35:12 +00:00
Romain Vigier	4454f7e87b	Split preferences into different files	2020-09-23 20:14:08 +02:00
Romain	e477be9ae6	Build preferences from UI file	2020-08-03 20:11:47 +00:00
Romain	728ae6ef40	Use ESLint and reformat code	2020-08-01 07:31:53 +00:00
Romain Vigier	c6f35255b2	Move all old shell versions compatibility code to a single file	2020-07-28 12:10:53 +02:00
Romain Vigier	08b6641978	Improve time source label	2020-06-15 17:26:28 +02:00
Romain Vigier	460237687f	Update sensitivity of the whole row	2020-06-15 16:44:12 +02:00
Romain	c17f5898d6	Allow disabling GTK and shell variants switching	2020-06-15 14:13:37 +00:00
Romain Vigier	6ee2b44d88	Fix formatting	2020-06-15 09:54:34 +02:00
goodwillcoding	80bf68c484	On-demand scheduling with topbar button and keybinding	2020-06-15 07:52:13 +00:00
Romain Vigier	8370f31271	Make preferences have the same width on all pages	2020-05-30 20:01:18 +02:00
Romain	849b38e208	Icon theme switching	2020-05-29 15:20:47 +00:00
Romain	49f58678bc	Cursor theme switching	2020-05-29 09:30:53 +00:00
Romain	f21bc025b7	Architecture rewrite and new features	2020-05-25 08:41:35 +00:00