There does not seem to be a way to re-size the highlighting pane. When I moue over the edgs nothing happens. Is this confirmed? On my machine it is too wide. I have a lot of white space to the right of the list of highlighting features. I'd like to save that real estate for my other stuff.
