-
Benjamin Otte authored
Anybody who keeps their own CSS nodes around or wants to order CSS nodes different from widgets will from now on have to do it manually all the time. This is outdated behavior, nobody should be doing either of those two things. Also, the correct case is much more common, and not doing it automatically was causing bugs. Fixes #3280
d9b216e6