I use documentation view in "pinned" mode in the bottom-right with "auto-update from source".
it drives mi nuts that this view is regularly autoresizing width to a very high value, essentially minimizing the bottom-left view. I think (not 100% sure though) that this happens because the view title is sometimes very long, so the view tries to gain enough space for it. however this is horrible as I dont want this view to change its size automatically at all!
is there an option to customize? or if not can I haz a fix for it?
PS: to reproduce, try (nested) lamdas - it quickly grows this title thingie towards ridiculous proportions :-)