Vaclav wrote:
[Bram, sorry for sending to your personal address by accident for the first
time]
What system? If Unix: what GUI?
Sorry for not mentioning that. I am running the gnome GUI on Linux. I
double-checked on a different machine to exclude the influence of the
breakindent
[Bram, sorry for sending to your personal address by accident for the first
time]
What system? If Unix: what GUI?
Sorry for not mentioning that. I am running the gnome GUI on Linux. I
double-checked on a different machine to exclude the influence of the
breakindent patch that is also
