No matches were found for subject:"\[Desktop\-packages\] \[Bug 859560\] Re\: Gedit line number margin doesn't scale with font size"