Cursor theme

Is there a particular GNOME component responsible for changing the default mouse cursor when the Gtk/CursorTheme* xsettings change? I've looked at the code for gnome-control-center and gnome-settings-daemon; all they do is change the xsettings when the user changes the theme, but it only works

How about adopting Kotlin in GNOME?

I've been thinking about what language I should choose if and when I start writing a significant program using G* libraries. I don't want to write GObjects in C any more. All that boilerplate, casting macros, manual set up of vtables and explicit reference counting. I will make mistakes with

Re: How about adopting Kotlin in GNOME?

On 18/11/17 23:11, Adam Tauno Williams wrote: On Sat, 2017-11-18 at 14:11 +, Tony Houghton wrote: I've been thinking about what language I should choose if and when I start writing a significant program using G* libraries. I don't want to write GObjects in C any more. All that boilerplate

Re: Setting preferred applications

On Fri, 29 Nov 2019 at 20:54, Volker Wysk wrote: > Hi! > > I know how to set some preferred applications in Einstellungen -> > Informationen -> Vorgabeanwendugen (~ system settings -> information -> > default applications). But how to set the preferred PDF viewer and > terminal emulator? > I

Re: Setting preferred applications

On Sun, 1 Dec 2019 at 00:46, Volker Wysk wrote: > > I've done: > > update-alternatives --set x-terminal-emulator /usr/bin/xterm > > ... and the symbolic link in /etc/alternatives got changed. But when I > do "open in terminal" in nautilus, then it's still the GNOME-Terminal. > I see; I didn't

Re: Setting preferred applications

On Sun, 1 Dec 2019 at 11:14, Volker Wysk wrote: > > What is "GIO"...? > It's a library that comes with glib that's mainly focused on handling i/o. -- TH ___ gnome-list mailing list gnome-list@gnome.org

Re: Certain font sizes can't be configured permanently

Do you mean that when you load gnome-tweaks, it shows the scaling factor to be 1.6, but the desktop does not use that setting until you change it, then change it back to 1.6? This implies that the setting is being saved correctly, but another part of GNOME is failing to honour it at start-up.

Re: Certain font sizes can't be configured permanently

t; Am Samstag, den 12.09.2020, 14:56 +0100 schrieb Tony Houghton: > > Do you mean that when you load gnome-tweaks, it shows the scaling > > factor to be 1.6, but the desktop does not use that setting until you > > change it, then change it back to 1.6? > > Exactly. > &g

Re: Certain font sizes can't be configured permanently

wrote: > Hi! > > Am Samstag, den 12.09.2020, 19:10 +0100 schrieb Tony Houghton: > > There's something you could try, but it's more of a sticking plaster > > or workaround than a proper fix. Create a file > > ~/.config/autostart/scaling.desktop containing: > > > &g

Re: Certain font sizes can't be configured permanently

020, 14:51: > >> Am Sonntag, den 13.09.2020, 13:26 +0100 schrieb Tony Houghton: >> > I was a bit worried you might need to include a delay and/or change >> > the setting more than once, but I didn't know how adept you were so I >> > tried keeping it simple at fi

Re: how/where to find Gnome Preferences Tool?

You can still change themes in Tweaks, in the Appearance section. I've never seen a theme that looks nicer than Adwaita though. On Mon, 5 Apr 2021 at 17:23, Carl-Valentin Schmitt via gnome-list < gnome-list@gnome.org> wrote: > Hello Ken, > > "changing themes" was a feature in earlier versions of

Re: how/where to find Gnome Preferences Tool?

I haven't seen your new thread. Changing the focused window colour/contrast should be fairly easy, and I think you could do it with a gtkrc file instead of writing a whole theme. You probably won't be able to resurrect scroll buttons though. They were phased out years ago, so the functionality has

Re: Querying top panel widget positions?

Mutter can't use Gtk widgets in the panel for some technical reason, so it uses a simpler toolkit called St , based on Clutter. I think you can read a widget's position via its ClutterActor base class, and I think it's even possible to get information about widgets