public void setReplaceAllOccurrences(boolean replaceAllOccurrences) { myPanel.setReplaceAllOccurrences(replaceAllOccurrences); }
public void setReplaceAllOccurrences(boolean replaceAllOccurrences) { myPanel.setReplaceAllOccurrences(replaceAllOccurrences); }