int () { Object flipProperty = myEditorScrollPane.getClientProperty(JBScrollPane.Flip.class); if (flipProperty == JBScrollPane.Flip.HORIZONTAL || flipProperty == JBScrollPane.Flip.BOTH) { return myEditorScrollPane.getVerticalScrollBar().getWidth(); } return 0; }