Dear Joris,
Thanks a lot, this looks great! I love the context tool already.
I've played around with it a bit and have noticed two minor things:
- the side tools don't acquire a vertical scroll bar when its size is
larger than the window. Hence, the status bar can disappear off-screen
if too man
Dear all,
I have been playing a bit with side tools.
You can test what I did via 'Tools -> Developer tool',
then 'View -> Side tools', and then
'Developer -> Experimental side tools / ...'.
Note: you should select the 'dark' (or 'bright') theme.
I still have to think quite a lot about a good phil
