int getSize()
    {
        int size = 0;
        if (!"".equals(textSize.getText())) { //$NON-NLS-1$
            try {
                size = Integer.parseInt(textSize.getText());
            }
            catch (NumberFormatException e) {
                // do nothing
            }  // was not a number, keep it 0
        }
        // bugfix: HexText's raw array overflows when font is very small and window very big
        // very small sizes would compromise responsiveness in large windows, and they are too small
        // to see anyway
        if (size == 1 || size == 2) size = 3;

        return size;
    }
Get the preferred font data

@return a copy of the preferred font data
plugins/org.jkiss.dbeaver.ui.editors.hex/src/org/jkiss/dbeaver/ui/editors/binary/pref/HexPreferencesManager.java