private void increaseInitialisationFontSizeButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_increaseInitialisationFontSizeButtonActionPerformed
        increaseEditorFontSizes();
    }//GEN-LAST:event_increaseInitialisationFontSizeButtonActionPerformed