Jean-Marc Lasgouttes wrote:
Andre Poenitz <[EMAIL PROTECTED]> writes:
Insets are straightforward to implement. Font ranges are not.
I recently had a look at our coding rules. "KISS" was and still is
the first item...
Yes, but it should not dictqte the UI (am I repeating myself?)
But _I_ happen to like clear threshold between different things, the
kind of threshold is naturally achieved by insets. So why, as a user, do
I have to suffer your way of typing? This goes the other way around
obviously. With insets at least we can offer my preferred UI and we can
get close to your preferred UI. With font based implementation we can
only achieve your preferred UI; my preferred UI will be very complicated
to implement. So, to me, the choice is clear.
Abdel.
