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

restyle

Apply the proper edge color in the color sector too

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

mercurial