Fixed two minor painting issues:

- timeline was not always repainted after a zoom event;
- in case the one is viewing the display in great detail, that is,
  using a large zoom factor, the cursor flags are not painted
  correctly. It appears this is caused by some optimization used
  internally in Swing.