|
|
71a053c8ba
|
Download fonts directly from the Internet
|
2022-02-18 15:25:18 +00:00 |
|
|
|
64229ffe2f
|
Switch monospace font to Iosevka
|
2022-02-18 15:06:22 +00:00 |
|
|
|
659588a9bd
|
Remove week numbers (not ISO in US locale)
|
2022-02-13 18:05:10 +00:00 |
|
|
|
f3b3c435da
|
Tweak Weston config
|
2022-02-11 13:56:35 +00:00 |
|
|
|
d31e9c9eff
|
Add weston.ini for VM host
|
2022-02-11 11:35:13 +00:00 |
|
|
|
3140a4fc0c
|
Use light Gnome Terminal theme
|
2022-02-01 11:39:01 +00:00 |
|
|
|
c479014bd7
|
Use generic font names
|
2022-01-25 17:56:31 +00:00 |
|
|
|
7cc7fca48f
|
Install JetBrainsMono and TeX Gyre fonts
|
2022-01-25 17:50:41 +00:00 |
|
|
|
7917b3a8f5
|
Remove Noto Sans Mono fonts
|
2022-01-25 17:21:11 +00:00 |
|
|
|
55a3687ab5
|
Fix typo in user.js
|
2022-01-21 07:44:50 +00:00 |
|
|
|
bb1cdbc1d6
|
Hide notifications by default in Firefox
|
2022-01-21 07:35:55 +00:00 |
|
|
|
8e5a371fee
|
Add NBSP on the Level 3 and Level 4 Space key
|
2022-01-17 12:24:52 +00:00 |
|
|
|
54a37408eb
|
Swap greys around
|
2022-01-11 21:19:16 +00:00 |
|
|
|
6a97123cae
|
Use a slightly different orange
|
2022-01-11 21:09:06 +00:00 |
|
|
|
95fafb6ef9
|
Tweak colours some more
|
2022-01-11 21:07:51 +00:00 |
|
|
|
0d9ebb76f2
|
Fix blue in Terminal colour scheme
|
2022-01-11 21:02:20 +00:00 |
|
|
|
3bbf44d9c4
|
Add custom colour scheme
|
2022-01-11 21:00:22 +00:00 |
|
|
|
7a8602052c
|
Use amber-on-black in Gnome Terminal
|
2022-01-11 12:13:29 +00:00 |
|
|
|
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 |
|
|
|
2514d38819
|
The include module is being phased out
|
2021-12-01 22:17:45 +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 |
|
|
|
0f6334aecb
|
Use a better icon for the TODO list
|
2021-11-29 10:02:24 +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 |
|
|
|
8b75009f3e
|
Handle Firefox in Flatpak
|
2021-11-26 21:07:35 +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 |
|
