• 0 Posts
  • 10 Comments
Joined 1 year ago
cake
Cake day: June 17th, 2023

help-circle
  • Unfortunately this is not the case. A lot of people leave school assuming that scientific discoveries are eternal, unfailable truth that we just know to be true. Few ever understand how we acquired our knowledge and how to lewrn to understand it. Many assume you ‘just have to learn it’. Those your play around with computers or other stuff have an advantage. They know how to gain understanding not just how to learn facts.






  • Haven’t seen it indeed. Afaik, app icons should be fine. In case they are not, I have an idea, what the issue might be. Thank you.

    Reading through the bug tracker, the GNOME approach seems to be one I see way to often: “The standard is outdated in our view and does not suit us. Let’s just treat it as obsolete and make our own incompatible thing. If this breaks stuff, its not our problem.” I prefer those that say: “We need an updated standard.” But they seem to be the minority, at least these days.


  • Still working on my app launcher. Currently working on on user config. Recently I added support for app icons and there freedesktop.org icon themes. Icon themes are more complicated than I expected. Themes can have multiple fallbacks themes which themselves can have multiple fallback themes. Totally makes sense. I just did not think about it too much before implementing it. Allowed me to implement a nice breadth-first search. Most themes have a single fallback theme, so it is not of much use, but hey, I follow the spec. 😅