|
82a2fcccfd
|
Prefer JetBrains Mono if it is installed
|
2022-01-04 11:22:28 +00:00 |
|
|
2005e33a11
|
Always show the Accessibility menu
|
2021-12-31 14:50:35 +00:00 |
|
|
bd06b5af08
|
Rely on \'default\' fonts from fonts.conf
|
2021-12-31 14:00:04 +00:00 |
|
|
2ffd38a80b
|
Go back to Noto Sans Bold
|
2021-12-31 13:54:36 +00:00 |
|
|
c6a286284f
|
Bold is too heavy
|
2021-12-30 19:35:14 +00:00 |
|
|
96fcf81aee
|
Enable Noto fonts by default
|
2021-12-30 15:12:17 +00:00 |
|
|
760e500f46
|
Disable all extensions
|
2021-12-21 11:37:55 +00:00 |
|
|
810defca39
|
Dash-to-dock is still buggy with other windows
|
2021-12-17 12:46:21 +00:00 |
|
|
373e857e0f
|
Disable hot-corners again, as dock is enabled
|
2021-12-07 16:01:28 +00:00 |
|
|
c006b2ab14
|
Put minimize and maximize back on the window bars
|
2021-12-07 13:46:05 +00:00 |
|
|
ac2028acb2
|
Re-enable dash-to-dock and put it at the bottom
|
2021-12-07 13:43:59 +00:00 |
|
|
c68e185b13
|
Revert "Use EurKEY layout"
This reverts commit 17038ebbfc .
|
2021-12-01 08:45:35 +00:00 |
|
|
17038ebbfc
|
Use EurKEY layout
|
2021-11-30 15:31:43 +00:00 |
|
|
1ad6e946c6
|
Force-disable deprecated TLS versions
|
2021-11-30 13:18:06 +00:00 |
|
|
6967aa6cdb
|
Stop setting preferences for Dash-to-Dock
|
2021-11-28 18:43:45 +00:00 |
|
|
5657365e24
|
Go back to a more vanilla Gnome setup
|
2021-11-27 20:52:16 +00:00 |
|
|
7b45bc2075
|
Use the RHEL default colours
|
2021-11-24 16:01:21 +00:00 |
|
|
03c6a83cc8
|
Actually work on RHEL
|
2021-11-24 15:42:19 +00:00 |
|
|
e12bf600c3
|
Use US layout by default
|
2021-11-24 12:54:58 +00:00 |
|
|
463350fbfe
|
Don't add EurKEY by default
|
2021-11-24 11:49:48 +00:00 |
|
|
e58294676d
|
Add the EurKEY layout
|
2021-11-24 11:38:18 +00:00 |
|
|
397bb7df5a
|
Fix error from multiple values
|
2021-11-23 08:59:55 +00:00 |
|
|
63e60a45a4
|
Handle extension name being different on RHEL/CentOS
|
2021-11-23 08:53:49 +00:00 |
|
|
8d95c9c6dd
|
Use gnome-extensions built-in functionality
|
2021-11-21 23:27:15 +00:00 |
|
|
575ab5323e
|
Enable gnome-shell extensions if they are installed
|
2021-11-21 23:11:59 +00:00 |
|
|
99991bedd4
|
Set a background colour for when a wallpaper is not available
|
2021-11-16 16:01:34 +00:00 |
|
|
f360c87437
|
Force-enable Firefox Container Tabs
|
2021-11-15 15:43:17 +00:00 |
|
|
187157b223
|
Make Firefox more usable and stop installing Chrome
|
2021-11-14 15:37:57 +00:00 |
|
|
8bddb770da
|
Add Google Chrome to dock
|
2021-11-14 14:38:08 +00:00 |
|
|
24eb527078
|
Set dock background to black
|
2021-11-14 13:59:18 +00:00 |
|
|
cd444caa60
|
Add keybinding to launch Terminal
|
2021-11-14 13:52:48 +00:00 |
|
|
af785572e9
|
Move dock to left and disable hot corners
|
2021-11-14 13:41:49 +00:00 |
|
|
cd10d2ad16
|
Disable Chromium
|
2021-11-12 07:59:03 +00:00 |
|
|
ac1b364cb6
|
Set Alt-Tab for switch-windows
|
2021-11-11 11:25:57 +00:00 |
|
|
b5d8ff5e57
|
Put dock on all monitors
|
2021-11-11 08:33:13 +00:00 |
|
|
6ac9c48b6a
|
Use a solid black background and white dots
|
2021-11-10 13:48:14 +00:00 |
|
|
e59466491e
|
Set dash-to-dock preferences
|
2021-11-10 13:10:50 +00:00 |
|
|
47379e2ec0
|
Make it easier to save/update Gnome favorite apps
|
2021-11-07 18:57:58 +00:00 |
|
|
c09c5e7b5f
|
Add British keyboard back
|
2021-10-07 10:15:34 +01:00 |
|
|
dac594ae78
|
Slim RHEL packages and Gnome setup
|
2021-10-02 22:36:32 +01:00 |
|
|
c4c538a514
|
Improve font rendering
|
2021-09-27 22:35:10 +01:00 |
|
|
77339bd1b5
|
Don't force wayland
|
2021-09-26 20:26:08 +01:00 |
|
|
7faa622ff2
|
Add vivaldi launcher
|
2021-09-26 17:03:37 +01:00 |
|
|
3c5db7e182
|
Enable natural scrolling
|
2021-09-24 11:46:49 +01:00 |
|
|
b59f7f29e7
|
Stop creating Gvim COC launcher
|
2021-09-19 20:38:50 +01:00 |
|
|
21776eade7
|
Make urxvt larger by default
|
2021-07-28 18:38:52 +01:00 |
|
|
a84dfa178b
|
Revert "Switch to VS Code"
This reverts commit 370c720a93 .
|
2021-07-21 23:53:53 +01:00 |
|
|
370c720a93
|
Switch to VS Code
|
2021-07-19 23:36:56 +01:00 |
|
|
4c63b3003d
|
Add Chromium and VSCodium to the Gnome favourites
|
2021-07-18 20:37:54 +01:00 |
|
|
e7ed594368
|
Update gnome settings
|
2021-07-17 18:05:44 +01:00 |
|