public TabbedPaneProperties getTabbedPaneProperties() {
   TabbedPaneProperties tprop = new TabbedPaneProperties();
   for (int row = 0; row < m_tabs_model.getRowCount(); row++) {
     tprop.addTab((TabProperty) m_tabs_model.getRow(row));
   }
   return tprop;
 }
 /** @return the currently selected tab property. Null is returned if no item is selected. */
 public TabProperty getSelectedTabProperty() {
   int row = m_view.getTable(TabDesignerNames.ID_TABS_TABLE).getSelectedRow();
   if (row >= 0) {
     return (TabProperty) m_tabs_model.getRow(row);
   } else {
     return null;
   }
 }
 /** Modifies an existing tab property with a new property */
 public void setTabProperty(TabProperty newProp, TabProperty oldProp) {
   m_tabs_model.setTabProperty(newProp, oldProp);
 }
 /** Adds a tab to the model. */
 public void addTabProperty(TabProperty tp) {
   m_tabs_model.addRow(tp);
 }