update editor in both themes to be OK with a manual diff check
authorRobert Kaiser <robert@notebook.box.kairo.at>
Fri, 1 Oct 2010 11:40:10 +0000 (13:40 +0200)
committerRobert Kaiser <robert@notebook.box.kairo.at>
Fri, 1 Oct 2010 11:40:10 +0000 (13:40 +0200)

No differences found