Tabs

[rooklift]

Tabs would be awesome to have - perhaps create a new one by middle-clicking on a move. It should fit into our current system relatively easily, switching tab will just require a call to set_node() like any other change of position.

Really a tabs list is just a list of bookmarked nodes that one can click on to go to. We also need to keep track of which tab we're in, so that the particular tab we're in gets its "bookmark" updated every time it changes.

Maybe show icons of their boards for all background tabs, while the current one just gets a > sign or something.

[rooklift]

The plan:

• Have a map (possibly empty) of id_string --> bookmarked node
• The current position is not one of the bookmarks (except by accident)
• When drawing the list of bookmarks, sort them by id (same result as sorting by creation time)
• When drawing the list of bookmarks, insert a lacuna for the current position

[rooklift]

Hmm that doesn't quite work, people will expect to be able to have multiple tabs for the same position. So it can't be a map of id --> node.

We'll have to use an array.