linuxmint/Cinnamon — pull request #1086 by autarkper (2012-09-07 09:06:11+00:00)
Title: [1.8] Refactor Panel, Layout, Expo and Scale to handle various panel configurations, second attempt

This is an updated version of my older pull request #1003. It turned out that the changes introduced to panel.js by the scalable icons feature were so difficult to merge automatically that I had to apply those changes manually on top of my changes, hence the new pull request.

I haven't yet been able to test this out, so I don't expect it to be merged in the near future.