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