From 3dbc8de85c53a4cee5c721db5284b8f8016257ac Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sat, 11 Feb 2017 22:26:35 +0000
Subject: [PATCH] simplify the divider location setup

---
 app/src/processing/app/ui/EditorState.java | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/ui/EditorState.java b/app/src/processing/app/ui/EditorState.java
index 5de166cf3..811604247 100644
--- a/app/src/processing/app/ui/EditorState.java
+++ b/app/src/processing/app/ui/EditorState.java
@@ -219,11 +219,12 @@ public class EditorState {
 
   void apply(Editor editor) {
     editor.setBounds(editorBounds);
-    if (dividerLocation != 0) {
-      editor.setDividerLocation(dividerLocation);
-    } else {
-      editor.setDividerLocation(2 * editor.getSize().height / 3);
+
+    if (dividerLocation == 0) {
+      dividerLocation = 2 * editor.getSize().height / 3;
     }
+    editor.setDividerLocation(dividerLocation);
+
     if (isMaximized) {
       editor.setExtendedState(Frame.MAXIMIZED_BOTH);
     }