merge davids recent changes
authorMilian Wolff <mail@milianw.de>
Mon, 12 Jul 2010 23:50:22 +0000 (01:50 +0200)
committerMilian Wolff <mail@milianw.de>
Mon, 12 Jul 2010 23:50:22 +0000 (01:50 +0200)
commite2c23635a6e4bc89d17408a193ae5855a707ee31
treeba87f055d20768801e77ec841cef59692447180d
parent2b0e81f4921ff6bd97a8530c0ccf837a7d01c337
parentcbc4681ca9da23866bbe9b64282a6c99c6c3a5d3
merge davids recent changes
plugins/problemreporter/problemhighlighter.cpp