hey!
ik draai 12.10, met gnome shell.
nou had ik vanavond een probleem in gimp. hij sloeg vast op het moment dat ik mijn fontmap opende. dus via terminal gedraaid, en vast laten lopen, en toen wist ik dat het een specifiek font was waarop hij hikte (ik weet niet meer welke). ik dus naar mijn fontmap, dat font zoeken, en op delete rammen.
nou blijkt dat net het font te zijn dat gnome shell gebruikt voor het panel, notifications, menuutjes, etc. waar hij nu dus overal mooie blokjes weergeeft.
ik heb al rondgegoogled, en kwam op een forumpost van 2010, waarin uitgelegd werd hoe ik de css aan moest passen, maar dat was niet up to date en de css zag er anders uit.
om tot een conclusie te komen: help!
weet er iemand welk font shell origineel gebruikt, en wat ik dan moet installeren? of hoe ik shell moet wijsmaken een ander font te gebruiken? of misschien een andere oplossing? *kijkt lief*
*edit**
in unity heb ik nergens last van, dus het is een font dat alleen gnomeshell gebruikt..