src/Pure/PIDE/markup.scala
changeset 50715 8cfd585b9162
parent 50545 00bdc48c5f71
child 50781 a0f22c2d60cc
     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"