示例#1
0
 public void disposeUIResources() {
   myErrorHighlightingPanel.disposeUIResources();
 }