Fix layout of git page when the commits section is very narrow (commands in the header are cut off)
Rename "Zoom Ruler" to "Code Map Ruler"
Problems view: Improved filter feature and separated two renderers: "by type" and "by file"