12 Commits

Include renames

Author	SHA1	Message	Date
Daniel Ruiz de Alegría	fc4f7c26e2	Improve terminal color-scheme	2020-03-17 17:57:57 +01:00
Daniel Ruiz de Alegría	790c315fb0	Backgrounds: Reconfigure main desktops default background	2020-03-12 18:25:55 +01:00
Daniel Ruiz de Alegría	e95e08d451	Configure Kali-Dark gnome-shell theme	2020-01-17 01:44:57 +01:00
Daniel Ruiz de Alegría	761cc10dcf	Change gnome-shell monospace font	2020-01-03 17:50:11 +01:00
Daniel Ruiz de Alegría	508598d342	Customize gnome-terminal	2020-01-03 17:08:48 +01:00
Daniel Ruiz de Alegría	52ced3d447	Set Kali-Dark as default color-scheme for gedit	2020-01-03 16:32:23 +01:00
Daniel Ruiz de Alegría	5428e74ceb	Add kali light background and replace kali rings for login and lock screen	2019-11-11 09:39:38 +01:00
Raphaël Hertzog	fcca217d2b	Use dark theme by default in GNOME too	2019-11-07 11:09:40 +01:00
Raphaël Hertzog	d42b0be486	Add gsettings overriding the background images for GNOME ... This makes it possible to work without kali-desktop-base.	2019-11-07 10:32:16 +01:00
Raphaël Hertzog	0b0ec23d92	Fix gsettings to actually enable the correct theme	2019-11-07 09:03:51 +01:00
Raphaël Hertzog	ad7fe9b711	Add gsettings for mousepad	2019-11-06 18:34:50 +01:00
Sophie Brun	9481728e58	Change name to kali-themes and kali-themes-common	2019-11-01 11:11:56 +01:00