Пример #1
0
 /**
  * Gets the layout preferences key for this view panel
  *
  * @return The key
  */
 public String getLayoutPreferencesKey() {
   return "protege-4.1." + memento.getViewPaneId();
 }