148 reputation
11
bio website oneiros.de
location Duisburg, Germany
age 49
visits member for 2 years, 7 months
seen Aug 21 at 20:55

TeX user since 1989, mostly LaTeX. For some time maintainer of pdfTeX, since then a close friend of the LuaTeX team.


Jul
28
awarded  Popular Question
Mar
15
comment My gmail address was hacked and I can not access my account
See webapps.stackexchange.com/a/18366/16508
Mar
8
comment Gmail requires ActiveX
It doesn't - otherwise I wouldn't be able to use it on Linux. Please check the SSL certificate.
Jan
20
revised What’s a simple workflow for bulk deleting emails from Gmail?
add link (wikify)
Jan
20
suggested suggested edit on What’s a simple workflow for bulk deleting emails from Gmail?
Jan
13
comment What happens when you no longer pay for your Google storage?
Why don't you ask Google support?
Nov
7
awarded  Commentator
Nov
7
comment Major contributors to a Wikipedia article
There's en.wikipedia.org/wiki/…
Nov
2
awarded  Teacher
Sep
25
comment How can I save all of my emails?
See also Export Gmail messages to text or HTML files
Sep
14
awarded  Critic
Sep
13
comment Auto CC all outgoing mail
The AutoBCC script for Tamper/Greasemonkey does not work with the new editor.
Sep
13
comment How to get my sent mail included in my inbox?
@AlEverett: The AutoBCC script does not anymore with the new editor.
Aug
20
awarded  Student
Aug
14
comment How to disable Gmail's new editor?
No. The old editor used a textarea; the new one is a "rich text editor". See this FAQ.
Aug
14
comment How to disable Gmail's new editor?
Not satisfied. Google also broke It's all Text for GMail, which let's me use vim.
Aug
14
comment How to disable Gmail's new editor?
The old plain text editor. That switch is needed for every mail and it still does top-posting.
Aug
14
comment How to disable Gmail's new editor?
That's not the old editor.
Aug
14
revised How to disable Gmail's new editor?
added 43 characters in body; edited title
Aug
14
asked How to disable Gmail's new editor?