Helge Hafting wrote:
It will obvoiusly take quite a while to get time for all of this. Please
tell
me if something isn't ok - so I can avoid doing it.
Helge,
this is all useful and interesting - nothing that seems redundant. Yet I
have still a further proposal (without being able to help with
implementation):
What about a "joker" character in the menu "Insert special character".
If it is defined as \joker, or joker-insert, for example, the user may
reassign anything he likes to that character (which may be taken from
any available symbol usually not used, like strange AMS things, but
colored like the present linebreak character). This would be handy if
you want to use some command repeatedly without using the ugly ERT
inserts. I would use this for \newslide or \pause in presentations, or
for \linebreak. (The special character "Linebreak" produces, strangely,
a \\ which is like a \newline (no stretching the previous line to the
margin), but sometimes you need the \linebreak (with stretching), for
instance when you want to manually break overstretching lines.) I
myself redefine \\ for such purposes at the moment. Maybe even two
"joker" characters could be added? The user may actually deactivate them
in ui. But maybe there exists such a possibility already, and I have
overlooked it.
Just a suggestion.
Thanks for all your fruitful and good work.
Ekkehart
