Helge Hafting wrote: > As a user, I think differently about inserting big spacing > like "fill" or "5cm", than I think about thinspace and friends. > The thinspace is very much like the ordinary space - it is a > character you insert.
It's not a character. It's separating characters. > You don't really want to wade through > a dialog for this? Of course the thinspace should still be accessible via key shortcut, as it is now. Also protected space and "inter-word" space. But it is related to quad and qquad and friends. We need a dialog for those, and I think thinspace and even inter-word space and protected space should be added there to complete the range. If only to alter these spaces easily. > Now, the thinspace may of course still be accessible > directly on the insert menu, even if it also is available in > the spacing/formatting dialog. There is another problem though, > most of these other spaces are so short that they only make > sense for spaces, and perhaps for rules. Maybe. But how do you know people do not use these for anything other than separating two characters or words? > A thinspace-length arrow > does not work, arrows nead at least bigskip length. An underbrace > needs even more. A medskip or shorter dotfill is just a dot. Then disable those choices for that spaces. No problem. Jürgen
