• moving the left (resp. right) edge of a table in the horizontal ruler now applies a left (resp. right) margin if the writing direction is ltr (resp. rtl)

    table with margin using ruler

  • started thinking about handling percentages; that's is not easy at all
  • Update: bug fixed : window's title is not updated when switching from a tab to another