Home
last modified time | relevance | path

Searched defs:monitoredElement (Results 1 – 1 of 1) sorted by relevance

/dports/devel/RStudio/rstudio-2021.09.1-372/src/gwt/src/org/rstudio/studio/client/workbench/
H A DUserInterfaceHighlighter.java63 public HighlightPair(Element monitoredElement, in HighlightPair()
69 public HighlightPair(Element monitoredElement, in HighlightPair()