/*
 * sets font size to 12
 *
 */

jEdit.setIntegerProperty("view.fontsize",12);
jEdit.propertiesChanged();