I also find this extremely annoying: While having the ability to highlight text is great, it becomes unusable as the panel is bigger than needed and sticks on top of what one is trying to read. Similarly, when the file has been saved and new highligh...
