Browser size tweaks

src/net/apocalypselabs/symat/WebBrowser.form

@@ -11,7 +11,7 @@
       <Dimension value="[300, 300]"/>
     </Property>
     <Property name="preferredSize" type="java.awt.Dimension" editor="org.netbeans.beaninfo.editors.DimensionEditor">
-      <Dimension value="[500, 400]"/>
+      <Dimension value="[480, 400]"/>
     </Property>
   </Properties>
   <SyntheticProperties>
@@ -32,7 +32,7 @@
     <AuxValue name="FormSettings_listenerGenerationStyle" type="java.lang.Integer" value="0"/>
     <AuxValue name="FormSettings_variablesLocal" type="java.lang.Boolean" value="false"/>
     <AuxValue name="FormSettings_variablesModifier" type="java.lang.Integer" value="2"/>
-    <AuxValue name="designerSize" type="java.awt.Dimension" value="-84,-19,0,5,115,114,0,18,106,97,118,97,46,97,119,116,46,68,105,109,101,110,115,105,111,110,65,-114,-39,-41,-84,95,68,20,2,0,2,73,0,6,104,101,105,103,104,116,73,0,5,119,105,100,116,104,120,112,0,0,1,-112,0,0,1,-12"/>
+    <AuxValue name="designerSize" type="java.awt.Dimension" value="-84,-19,0,5,115,114,0,18,106,97,118,97,46,97,119,116,46,68,105,109,101,110,115,105,111,110,65,-114,-39,-41,-84,95,68,20,2,0,2,73,0,6,104,101,105,103,104,116,73,0,5,119,105,100,116,104,120,112,0,0,1,-112,0,0,1,-32"/>
   </AuxValues>
 
   <Layout class="org.netbeans.modules.form.compat2.layouts.DesignBorderLayout"/>

src/net/apocalypselabs/symat/WebBrowser.java

@@ -112,6 +112,7 @@ public class WebBrowser extends javax.swing.JInternalFrame {
             @Override
             public void run() {
                 webEngine.load(url);
+                resizeAll();
             }
         });
     }
@@ -121,6 +122,7 @@ public class WebBrowser extends javax.swing.JInternalFrame {
             @Override
             public void run() {
                 webEngine.loadContent(content);
+                resizeAll();
             }
         });
     }
@@ -140,7 +142,7 @@ public class WebBrowser extends javax.swing.JInternalFrame {
         setResizable(true);
         setTitle("Browser");
         setMinimumSize(new java.awt.Dimension(300, 300));
-        setPreferredSize(new java.awt.Dimension(500, 400));
+        setPreferredSize(new java.awt.Dimension(480, 400));
         addInternalFrameListener(new javax.swing.event.InternalFrameListener() {
             public void internalFrameActivated(javax.swing.event.InternalFrameEvent evt) {
             }
@@ -171,10 +173,10 @@ public class WebBrowser extends javax.swing.JInternalFrame {
     }// </editor-fold>//GEN-END:initComponents
 
     private void formInternalFrameOpened(javax.swing.event.InternalFrameEvent evt) {//GEN-FIRST:event_formInternalFrameOpened
-        resizeAll();
+//        resizeAll();
-        // Ensure scrollbars show up correctly.
+//        // Ensure scrollbars show up correctly.
-        setSize(getWidth() + 1, getHeight());
+//        setSize(getWidth() + 1, getHeight());
-        setSize(getWidth() - 1, getHeight());
+//        setSize(getWidth() - 1, getHeight());
     }//GEN-LAST:event_formInternalFrameOpened
 
     private void formComponentResized(java.awt.event.ComponentEvent evt) {//GEN-FIRST:event_formComponentResized