The fix reduces the amount of information displayed at a time that mitigates the problem but it doesn't solve it.
The problem is that adding a scrollbar to something that doesn't suppose to have one seems to be hard to fix.
Alejandro Galue February 4, 2015 at 11:52 AM
I've cherry-picked that commit on release-15.0.1
Alejandro Galue February 4, 2015 at 11:40 AM
Edited
I've pushed the version 2 of the fix to foundation.
Alejandro Galue February 2, 2015 at 2:47 PM
The "-v2.diff" file contains an additional hack to enforce the order of the resource types based on the Graph Results.
Now the sidebar looks a lot better and it is a lot smaller.
Alejandro Galue February 2, 2015 at 11:24 AM
Take a look at the new screenshot. I think it looks much better
Now, I'm not sure how to deal with the "order" of the resource types (i.e. the keys of the maps used to build the navbar, to correlated with the actual order of the graphs).
I'm attaching the code changes I've used for the screenshot.
The fix reduces the amount of information displayed at a time that mitigates the problem but it doesn't solve it.
The problem is that adding a scrollbar to something that doesn't suppose to have one seems to be hard to fix.