cosmetics

Made File::iterator private - it's used only for range-for loops so it should not be used by anything else than File itself.

Renamed vector to List, changed it to wrap around std::deque.

Use repaint() instead of update() when redrawing the scene after a pick so that the new scene is repainted immediately.

Fixed crashing when closing all

stuff

(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip

mercurial