Directly paste position (or url hash) into WK

[philippotto]

When having a position string in the clipboard (e.g., "512, 1024, 768"), one has to select the content of the position inbox first and then paste. Alternatively, WK could direclty support pasting into the main page.

Ideally, this paste handler should be able to deal with:

• position strings (3-tuple that is separated by comma and/or spaces)
• the url hash (e.g., #1518,1498,1476,0,0.396 with or without #)

Implementation

For the url hash part, have a look at the url_manager module.