* minor beautification in device managment form (don't limit the table heights, added a splitter between device parameter pane and port parameter pane, don't fill a selected parameter table cell with a background color)