Smoothing out "Undo"

[uli-on]

I am very grateful for having the possibility of using an undo feature in Noto and jump back and forth between versions. Nevertheless there are some edges about that feature set that might benefit from smoothing out. IMHO these are:

• Reduce gap between buttons and keyboard and also flatten buttons a little, both eats up screen real estate important for writing and reading
• don't record any letter change, e. g. only completed words, i. e. save on blanks or punctuation, respectively*
• only show essential/changed areas in history. That way users can make their decisions easier because they can compare in history preview already. (The current situation is apt only for shorter notes*.)
• make different entries in history distinguishable by displaying dividers or - probably more evident - by using zebra striped backgrounds like currently only used between last version and "global rest". The current version might then have a border to set it apart from the rest.
• add a timestamp to each history entry (or numeratation) for easier orientation ("Am I seeing the most recent version or the oldest?")

*For opening this IMO medium sized text's history, edited in two Noto sessions (i.e. history steps halved), it certainly took far more than 10 sec, BTW, to stop scrolling (loading history) and let me choose,