//{{{ Instance variables
- private static final int FOLD_MARKER_SIZE = 12;
+ public static final int FOLD_MARKER_SIZE = 12;
private static final int SELECTION_GUTTER_WIDTH = 12;
// The selection gutter exists only if the gutter is not expanded
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
