BaseXdb/basex — Issue #380: Editor: wrong highlighting..
Author: ChristianGruen
Created: 2012-02-15 10:44:23+00:00
State: open
Labels: bug, GUI

..caused by erroneous threading?