Daniel Ruiz de Alegría
|
fa7c54d88a
|
Gnome-Shell: Add tiling assistant extension
|
2023-04-04 11:29:30 +02:00 |
|
Daniel Ruiz de Alegría
|
33b6b1fc47
|
Fix gsettings
|
2022-09-21 12:42:24 +02:00 |
|
Daniel Ruiz de Alegría
|
90e74929c7
|
Fix gsettings
|
2022-09-19 19:40:08 +02:00 |
|
Daniel Ruiz de Alegría
|
93e9caf90e
|
Set dark mode for gnome-terminal
|
2022-09-16 20:51:56 +02:00 |
|
Daniel Ruiz de Alegría
|
f46f87a2a3
|
Gnome-Shell: replace gedit with gnome-text-editor in dash favorites
|
2022-09-16 20:51:46 +02:00 |
|
Daniel Ruiz de Alegría
|
0547ec199d
|
Settings for new gnome-text-editor
|
2022-09-15 17:52:25 +02:00 |
|
Daniel Ruiz de Alegría
|
ae00d0ab3e
|
Set new theme for gnome
|
2022-09-15 00:56:42 +02:00 |
|
Daniel Ruiz de Alegría
|
e902016ad0
|
Configure dash-to-dock to disable overview on startup
|
2022-05-27 11:50:19 +02:00 |
|
Daniel Ruiz de Alegría
|
063baed8bb
|
Change dash-to-dock version
|
2022-05-27 11:45:34 +02:00 |
|
Daniel Ruiz de Alegría
|
7d6f1d12a0
|
Gnome-Shell: add settings for picture-uri-dark
|
2022-04-20 19:51:06 +02:00 |
|
Daniel Ruiz de Alegría
|
59fadc7dc2
|
Gnome-Shell: replace dash-to-dock extension with ubuntu-dock
|
2022-04-20 19:44:37 +02:00 |
|
Daniel Ruiz de Alegría
|
f121ea93d6
|
Gnome-Shell: update settings for dash-to-dock extensions
|
2022-04-20 19:39:08 +02:00 |
|
Daniel Ruiz de Alegría
|
04d31b1b1a
|
Gnome-Shell: fix dashtodock bug with external drives
|
2022-04-15 18:10:00 +02:00 |
|
Daniel Ruiz de Alegría
|
920f24c8dd
|
GTK: configure prefer-dark color-scheme
|
2022-03-31 14:58:00 +02:00 |
|
Daniel Ruiz de Alegría
|
dcbeec7cb9
|
Xfce: configure mousepad add-last-end-of-line
|
2022-02-10 10:58:13 +01:00 |
|
Daniel Ruiz de Alegría
|
486d2282d4
|
Xfce: fix mousepad headerbar
|
2022-01-18 10:55:24 +01:00 |
|
Daniel Ruiz de Alegría
|
4ef950a702
|
Add settings for onboard theme
|
2021-11-05 12:12:03 +01:00 |
|
Daniel Ruiz de Alegría
|
0fdf569b65
|
Gnome-Shell: shrink dash and add padding
|
2021-10-29 11:30:22 +02:00 |
|
Daniel Ruiz de Alegría
|
ef238d26e5
|
Copy gsettings from kali-defaults and reorganize them
|
2021-10-29 10:49:51 +02:00 |
|
Daniel Ruiz de Alegría
|
e4850b39fb
|
Configure mousepad text-editor
|
2021-04-07 14:06:08 +02:00 |
|
Daniel Ruiz de Alegría
|
36d82fd129
|
Add grid background to gedit
|
2021-04-07 14:05:48 +02:00 |
|
Daniel Ruiz de Alegría
|
87dc379828
|
Add kali color-scheme for tilix #96
|
2020-12-01 14:49:09 +01:00 |
|
Daniel Ruiz de Alegría
|
5f0a203577
|
gsettings-override fix mate-terminal path
|
2020-12-01 14:15:49 +01:00 |
|
Daniel Ruiz de Alegría
|
33d38821e8
|
Add kali color-scheme for mate-terminal #96
|
2020-11-30 20:04:43 +01:00 |
|
Daniel Ruiz de Alegría
|
b2e698bc00
|
Make mousepad use the system's font
|
2020-09-28 09:31:00 +02:00 |
|
Daniel Ruiz de Alegría
|
f7ca909145
|
Copy gnome-system-monitor color-tweaks from kali-defaults
|
2020-07-01 11:32:39 +02:00 |
|
Daniel Ruiz de Alegría
|
e00bedf0b1
|
Backgrounds: Set new default backgrounds
|
2020-05-02 17:22:05 +02:00 |
|
Daniel Ruiz de Alegría
|
f560c42411
|
Move wallpapers back to /usr/share/backgrounds
|
2020-03-24 17:42:36 +01:00 |
|
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 |
|