Am 26/08/2015 um 10:47 schrieb Stephan Aßmus:
I've found it visually appealing to merge borders where the opportunity
presented itself. At the same time, I found the methods by which this is
accomplished messy and error-prone. In a perfect world, the knowledge of
appearance and whether something should be merged, or more precisely,
whether a visual element in one part of the interface already performs
the same function as a visual element in an adjacent part of the
interface, would be completely up to the theme.
This is completely different to how its done
now, and in fact different to all APIs I know.
So a kludge that just
improves the status quo a little (option 1) and solves your problem is
fine by me. Your Option 2 I don't like so much, since it doesn't really
solve the problem (knowlegde is wrongly placed), as I tried to outline
above.