void (ComponentEvent e) { int width = isLeft() ? myContentSplitter.getFirstSize() : myContentSplitter.getLastSize(); if (width > 0 && width != myCurrentWidth && myContentSplitter.getInnerComponent().getClientProperty(IGNORE_WIDTH_KEY) == null) { myCurrentWidth = width; myPropertiesComponent.setValue(myWidthKey, Integer.toString(width)); } }