public synchronized void setFlipH(boolean flipH) {
   if (symbolProperties != null) {
     symbolProperties.setFlipH(flipH);
   }
   getOnImage().setFlipH(flipH);
   getOffImage().setFlipH(flipH);
   repaint();
 }