Editor: Improve appearance of operations widget
- give the widget a fixed height (exactly as high as it needs to be to display all progress bars)
- give progress bars for different operations different colours
(RM-465 from redmine: created on 2012-11-25 by Marc Zinnschlag, , closed on 2013-02-23 by Joel Graff)
Edited by redmine