Fix programmatic text insertion font size

`StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE)`
gets the style that is default for all documents where it is not set. What we
rather need is the default style for the current document, which is always set
(somewhere). This fixes comment/uncomment and template insertion always
happening with the font size that the document was opened with.

Author: garfieldnate

src/main/java/edu/umich/soar/visualsoar/ruleeditor/SoarDocument.java

@@ -51,7 +51,7 @@ public SoarDocument() {
         colorTable = Prefs.getSyntaxColors().clone();
 
         //set font size and style
-        Style defaultStyle = this.getStyle("default");
+        Style defaultStyle = this.getStyle(StyleContext.DEFAULT_STYLE);
         MutableAttributeSet attributeSet = new SimpleAttributeSet();
         StyleConstants.setFontSize(attributeSet, Prefs.editorFontSize.getInt());
         defaultStyle.addAttributes(attributeSet);
@@ -63,13 +63,12 @@ public void setFontSize(int size) {
     SoarDocument.fontSize = size;
 
     // Create or update a style for the font size
-    StyleContext context = StyleContext.getDefaultStyleContext();
-    Style fontStyle = context.getStyle(StyleContext.DEFAULT_STYLE);
+    Style defaultStyle = getStyle(StyleContext.DEFAULT_STYLE);
 
-    // Update the font size in the style
+    // Update the font size in the default style
     MutableAttributeSet attributeSet = new SimpleAttributeSet();
     StyleConstants.setFontSize(attributeSet, size);
-    fontStyle.addAttributes(attributeSet);
+    defaultStyle.addAttributes(attributeSet);
 
     // Apply the updated style to the entire document
     SwingUtilities.invokeLater(() -> {