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