texteditor: handle higher prioritized markers first
authorhjk <qthjk@ovi.com>
Wed, 17 Oct 2012 13:10:38 +0000 (15:10 +0200)
committerhjk <qthjk@ovi.com>
Mon, 22 Oct 2012 07:08:07 +0000 (09:08 +0200)
commit2a5d883424355e2531d8a58e3ee095746850ac7e
tree20cfd5074b35e2800b3c8dbd7df5ed4c561f2f87
parent3621e3e39212adc6334bbd5c56121055f50d41c7
texteditor: handle higher prioritized markers first

Change-Id: Id526f7544db89fae9c15afa0605ab9b0ecdcaf8e
Reviewed-by: David Schulz <david.schulz@digia.com>
src/plugins/texteditor/basetexteditor.cpp