src/Tools/jEdit/src/rendering.scala
changeset 50715 8cfd585b9162
parent 50643 09394eaf6804
child 50895 3a1edaa0dc6d
     1.1 --- a/src/Tools/jEdit/src/rendering.scala	Fri Jan 04 11:21:31 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/rendering.scala	Fri Jan 04 12:33:25 2013 +0100
     1.3 @@ -252,7 +252,8 @@
     1.4    }
     1.5  
     1.6  
     1.7 -  private val active_include = Set(Markup.GRAPHVIEW, Markup.SENDBACK, Markup.DIALOG)
     1.8 +  private val active_include =
     1.9 +    Set(Markup.BROWSER, Markup.GRAPHVIEW, Markup.SENDBACK, Markup.DIALOG)
    1.10  
    1.11    def active(range: Text.Range): Option[Text.Info[XML.Elem]] =
    1.12      snapshot.select_markup(range, Some(active_include), command_state =>
    1.13 @@ -261,7 +262,7 @@
    1.14            if !command_state.results.defined(serial) =>
    1.15              Text.Info(snapshot.convert(info_range), elem)
    1.16            case Text.Info(info_range, elem @ XML.Elem(Markup(name, _), _))
    1.17 -          if name == Markup.GRAPHVIEW || name == Markup.SENDBACK =>
    1.18 +          if name == Markup.BROWSER || name == Markup.GRAPHVIEW || name == Markup.SENDBACK =>
    1.19              Text.Info(snapshot.convert(info_range), elem)
    1.20          }) match { case Text.Info(_, info) #:: _ => Some(info) case _ => None }
    1.21