e9a45190e4
Rather than killing the workspace indicator indicator when we remove workspaces because the source and target locations might have changed, do it as a separate first step. This provides a better explanation than doing it simultaneously with the addition/removal or not at all and also keeps our computations simple. https://bugzilla.gnome.org/show_bug.cgi?id=641881 |
||
---|---|---|
.. | ||
misc | ||
perf | ||
ui | ||
Makefile.am |