No matches were found for subject:"\[Bug 601844\] \[NEW\] gnome\-appearance\-properties doesn't properly change window border"