• 3 Posts
  • 7 Comments
Joined 1 year ago
cake
Cake day: July 3rd, 2023

help-circle
  • I’m working on some outdated memories, but IIRC:

    Germany allows dual citizenship now, but used to not allow it in most cases. In those cases, if you applied for German citizenship, you had to express that you were willing to give up your old citizenship. Once you were granted citizenship, you had a certain amount of time (two years?) to show a certificate that you renounced your old citizenship. If you didn’t, your German citizenship would be revoked.










  • I’ve been using variable-pitch-mode in my Org files for a few years: I find it nicer for writing design documents, meeting notes, and documentation. And I use it for all Org files, as if I embed code in a source block, that’s still monospaced and font locked. Best of all worlds :).

    The only issue I have is that I use org-indent-mode, and sometimes the spacing doesn’t 100% line up, especially with bulleted lists. But I have long since gotten used to that.