• added a selection listener to update my rulers
  • the editor now fires a specific event when it does EndUpdateViewBatch() with mUpdateCount > 0; that event is caught by my ruler as a signal to update itself. This was absolutely needed for elements changing of size depending on their contents, like a table cell with no specified width for instance.
  • column selection when clicking in the ruler had a bug, it works fine now
  • thanks Neil Rashbrook for giving me the idea of setting the margins using the ruler; I already started working on it.