Commit Graph

890 Commits

Author SHA1 Message Date
Arnaud Rebillout f8e8487d44 Define a drop_diversion function in the postrm script
For consistency with other kali-* packages that use a similar diversion
machinery.
2022-06-02 10:30:41 +07:00
Daniel Ruiz de Alegría ad1fb8fe56 Update changelog for 2022.3.0 2022-05-27 11:52:29 +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 3de4536ac8 Icons: remove window symbolic icons from elementary 2022-05-26 13:29:20 +02:00
Daniel Ruiz de Alegría 7a24a87132 Fix symlink for symbolic 'actions' icons 2022-05-25 14:09:06 +02:00
Daniel Ruiz de Alegría 428f9f9971 Icons: update Flat-Remix icon theme 2022-05-25 13:36:47 +02:00
Daniel Ruiz de Alegría 8146132b1b Update changelog for 2022.2.4 2022-04-25 17:17:27 +02:00
Daniel Ruiz de Alegría acf63a267a Update icon theme 2022-04-25 17:12:17 +02:00
Daniel Ruiz de Alegría 8a04335ddc Update sync upstream version for gnome-shell 42.0 2022-04-21 11:12:23 +02:00
Daniel Ruiz de Alegría 42bbf1fc99 Update changelog for 2022.2.3 2022-04-20 21:15:34 +02:00
Daniel Ruiz de Alegría 58a21e15e7 Gnome-Shell: fix icon-shadow in dash 2022-04-20 19:55:17 +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 1f97a1fdb2 Merge branch 'gnome-42' into kali/master 2022-04-20 19:39:43 +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 a311522a61 Update changelog for 2022.2.2 2022-04-15 18:20:31 +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 ee974e61a9 Remove gnome-backgrounds.xml divertion for GNOME 42 2022-04-15 18:00:37 +02:00
Daniel Ruiz de Alegría 251e07c229 Gnome-Shell: reduce opacity of panel shadow 2022-04-15 18:00:36 +02:00
Daniel Ruiz de Alegría 578d50fe8a Gnome-Shell: tweak theme shadows 2022-04-15 18:00:36 +02:00
Daniel Ruiz de Alegría e37f7fe26e Update 'breaks' version for gnome-shell 2022-04-15 18:00:36 +02:00
Daniel Ruiz de Alegría 853250e121 Gnome-Shell: theme workspace switcher 2022-04-15 18:00:36 +02:00
Daniel Ruiz de Alegría 48c9290e05 Gnome-Shell: theme screenshot dialog 2022-04-15 18:00:36 +02:00
Daniel Ruiz de Alegría f541fcf0a0 Gnome-Shell: update osd theme tweaks 2022-04-15 18:00:36 +02:00
Daniel Ruiz de Alegría ce63319b99 Gnome-Shell: lighten icon shadow 2022-04-15 18:00:35 +02:00
Daniel Ruiz de Alegría 1a2c2effbf Gnome-Shell: tweak notifications in calendar panel 2022-04-15 18:00:35 +02:00
Daniel Ruiz de Alegría 682ce6ec3d Gnome-Shell: change bg colors of buttons and cards 2022-04-15 18:00:35 +02:00
Daniel Ruiz de Alegría f884956ec3 Gnome-Shell: change shadow to notification-banner 2022-04-15 18:00:35 +02:00
Daniel Ruiz de Alegría fd47a59861 Gnome-Shell: update popover theme tweaks 2022-04-15 18:00:35 +02:00
Daniel Ruiz de Alegría 6cfd361e65 Gnome-Shell: tweak switches 2022-04-15 18:00:34 +02:00
Daniel Ruiz de Alegría eea71d890f Gnome-Shell: update message list theme tweaks 2022-04-15 18:00:34 +02:00
Daniel Ruiz de Alegría a06a45d712 Gnome-Shell: remove old assets 2022-04-15 18:00:34 +02:00
Daniel Ruiz de Alegría 7c41266871 Gnome-Shell: update upstream to 42.rc 2022-04-15 18:00:34 +02:00
Daniel Ruiz de Alegría e8b75a1302 Gnome-Shell: reduce height of switch assets 2022-04-15 18:00:34 +02:00
Daniel Ruiz de Alegría 910260d50c Gnome-Shell: update switches theme tweaks 2022-04-15 18:00:33 +02:00
Daniel Ruiz de Alegría 3b5b128c0b Gnome-Shell: update checkbox theme tweaks 2022-04-15 18:00:33 +02:00
Daniel Ruiz de Alegría 309a674687 Gnome-Shell: code cleanup 2022-04-15 18:00:33 +02:00
Daniel Ruiz de Alegría 7e368dd4d5 Gnome-Shell: update calendar theme tweaks 2022-04-15 18:00:33 +02:00
Daniel Ruiz de Alegría 55f1e71782 Gnome-Shell: remove slider barlevel border 2022-04-15 18:00:33 +02:00
Daniel Ruiz de Alegría 58cfa4b066 Gnome-Shell: update keyboard theme tweaks 2022-04-15 18:00:32 +02:00
Daniel Ruiz de Alegría 04bb75e6c0 Gnome-Shell: set recording indicator text color to white 2022-04-15 18:00:32 +02:00
Daniel Ruiz de Alegría 080a8be821 Gnome-Shell: update dash theme tweaks 2022-04-15 18:00:32 +02:00
Daniel Ruiz de Alegría dcf4b45768 Gnome-Shell: update app-grid theme tweaks 2022-04-15 18:00:32 +02:00
Daniel Ruiz de Alegría 52dda0cd78 Gnome-Shell: update panel theme tweaks 2022-04-15 18:00:32 +02:00
Daniel Ruiz de Alegría dbd71be448 Gnome-Shell: remove workspaces-switcher theme tweaks 2022-04-15 18:00:31 +02:00
Daniel Ruiz de Alegría bffccb82cc Gnome-Shell: update slider theme tweaks 2022-04-15 18:00:31 +02:00
Daniel Ruiz de Alegría 585d1f079a Gnome-Shell: remove border to search results 2022-04-15 18:00:31 +02:00
Daniel Ruiz de Alegría eb8d00f902 Gnome-Shell: update theme tweaks for search-entry, search-results, and window-picker 2022-04-15 18:00:31 +02:00
Daniel Ruiz de Alegría 886215c7cd Gnome-Shell: reduce font size 2022-04-15 18:00:31 +02:00