properly remove watcher to prevent crashes in smartrange dtor
authorMilian Wolff <mail@milianw.de>
Fri, 2 Jul 2010 21:43:13 +0000 (23:43 +0200)
committerMilian Wolff <mail@milianw.de>
Fri, 2 Jul 2010 21:43:13 +0000 (23:43 +0200)
commita4b24db35f319d81b4c1885216d75e54f5151d41
treee27086f584581df382aa8064f15a82f818dc1b0e
parent57cde2661af91bfa5296dacc7f0f563ca5592044
properly remove watcher to prevent crashes in smartrange dtor

BUG: 241983
plugins/problemreporter/problemhighlighter.cpp