On 02/06/2017 04:10 AM, David Faure wrote: > Yeah, I have been fighting with dock widgets quite a lot. Before I invest more > time into it, does that thing really need to be a dock widget? It doesn't seem > useful to move it to another position (top, right...) nor to make it float > outside the mainwindow, or am I missing something?
I never understood why that was a dock widget either, and I don't see any reason it can't become something more convenient. I am excited to see my old nemesis gone! Thank you, David! I will dig in and report my findings directly. The final state of things as they were already involved some hacks and compromises that shouldn't be considered any kind of gold standard for how things should look. Hopefully we can get there more easily now, with that absolutely monstrous abomination of mine properly euthanized and in its grave at long last. -- D. Michael McIntyre ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ Rosegarden-devel mailing list Rosegarden-devel@lists.sourceforge.net - use the link below to unsubscribe https://lists.sourceforge.net/lists/listinfo/rosegarden-devel
