+ return getVisibleIdWidth(true);
+ }
+
+ /**
+ * get current sequence ID panel width, or nominal value if panel were to be displayed using default settings
+ * @param onscreen indicate if the Id width for onscreen or offscreen display should be returned
+ * @return
+ */
+ int getVisibleIdWidth(boolean onscreen)
+ {
+ // see if rendering offscreen - check preferences and calc width accordingly
+ if (!onscreen && Cache.getDefault("FIGURE_AUTOIDWIDTH", false))
+ {
+ return calculateIdWidth(-1).width+4;
+ }
+ Integer idwidth=null;
+ if (onscreen || (idwidth=Cache.getIntegerProperty("FIGURE_FIXEDIDWIDTH"))==null) {
+ return (idPanel.getWidth() > 0 ? idPanel.getWidth()
+ : calculateIdWidth().width + 4);
+ }
+ return idwidth.intValue()+4;