code: private void setSelectWidth(int width) {
  
          m_markerStyle.setWidth(width, Unit.PX);
  
          m_overlayTopStyle.setWidth(width, Unit.PX);
          m_overlayBottomStyle.setWidth(width, Unit.PX);
          m_overlayRightStyle.setWidth(m_elementWidth - m_currentSelection.getLeft() - width, Unit.PX);
  
          m_currentSelection.setWidth(width);
      }
docs: Adjusts the select area width, while keeping the X position of the top/left corner.<p>
  
  @param width the new width