Assertion: gnome's time | /r/HasProperty | follows
Facets:
Source sentences:
text: - sane "start new terminal" without multiple steps from the panel - auto-hide the panel so that I don't have to feel "all emo all the time" - focus-follows-mouse - the ability to use a few default flags for certain programs and the fact is that none of the above are "odd" requests, but for some unknown reasons gnome makes these fundamental things really inconvenient and hard to find.