Logs — 1 entries tagged with “editor”

→ Sadly, most of the hyperlinks on older posts are broken, or may point to a different page. That's today's web for you.

  • Edit your Preferences

    Defaults Manager enables you to view and edit the preferences of almost any application that are stored in your User Defaults database.

Search

June 2026 : I've demoted a bit my search engine until I find time to optimise it.