search

Schneegans / Gnome-Pie

A pie menu launcher for linux. Read the release announcement of version 0.7.2 at https://schneegans.github.io/news/2018/10/30/gnome-pie-072 Or have a look at the homepage!
http://schneegans.github.io/gnome-pie.html
MIT License
308 stars 54 forks source link

Change font of Gnome-Pie? #174

Closed ghost closed 5 years ago

ghost commented 5 years ago

Hello! Basically the title. Gnome-Pie is great but I dislike the font of the text in the middle, and would like to replace it. However, in the settings I can't seem to find a settings for font. help?

Schneegans commented 5 years ago

Hi there! The font depends on the theme you are using. So you either have to choose a different theme or modify the theme you are currently using. There is some information on the theme format available.

The easiest way is to export your current theme, modify the font and the theme's name and import it again.