--- a/src/Pure/PIDE/markup.scala Fri Jan 04 11:21:31 2013 +0100 +++ b/src/Pure/PIDE/markup.scala Fri Jan 04 12:33:25 2013 +0100 @@ -281,6 +281,7 @@ /* active areas */ + val BROWSER = "browser" val GRAPHVIEW = "graphview" val SENDBACK = "sendback"