• louiz’'s avatar
    Improve the input a lot · b12a6b3b
    louiz’ authored
    Noticeable changes:
    - The input "view" is smarter, it always move to a decent position so we can
      see enough text around the cursor.
    - The cursor goes at the end of the input when pasting some long text
    - The formatting chars (^C and o, b, a, 1, 2, 3 etc) are now visible in the
      input. This makes it a lot easier to know where these special characters
      are, to change them and efficiently edit our text (we just lose a little,
      on the cosmetic side, but who cares)
    - The code is actually a lot simpler in the functions to move the cursor,
      insert/delete chars: we do not have to deal with special cases where the
      formatting characters are actually composed of two chars.
    fixes #2183
windows.py 87.3 KB