Hi Doug,
First post here I think, so Hi!
I come from an embedded background having used e.g. emacs and many other tools. I like your efforts and would like to long-term be able to contribute to improving UX for CDT.
I did a quick edit of the Launch Bar to compact it which would be a good thing since from my experience real estate is very precious - e.g. when doing development for multicore systems with a lot of views that you need information from or when presenting
at a scrum sprint review (not so uncommon use case) on projectors having a native resolution of ... not so much. Anyway, you get the idea.
Is it possible to down-size various graphical elements to keep a nice clean minimal GUI?
Would this benefit from being configurable?
I was thinking in the sense of small vs large icons, task/status bars, etc in the Ubuntu or Windows desktop management.
Is there some support from the platform to resize graphical elements (or padding) or would they need to be provided in different size?
BR,
Andreas