コード例 #1
0
ファイル: ViewsPane.java プロジェクト: aborkowski/protege 
 /**
  * Gets the layout preferences key for this view panel
  *
  * @return The key
  */
 public String getLayoutPreferencesKey() {
   return "protege-4.1." + memento.getViewPaneId();
 }