From d7a17c35c443e2cb6c09eaa3cfeaf590a571faa1 Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Wed, 17 Jul 2019 20:15:40 -0400
Subject: [PATCH] Version slider

---
 CameraPane.java |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/CameraPane.java b/CameraPane.java
index 80b657b..6286dc1 100644
--- a/CameraPane.java
+++ b/CameraPane.java
@@ -15708,6 +15708,7 @@
                     info.bounds.y += (height - desired) / 2;
                 }
             }
+            
             info.g = gr;
             info.camera = renderCamera;
             /* 
@@ -15717,6 +15718,8 @@
              */
             if (!isRenderer)
             {
+                Grafreed.Assert(object != null);
+                Grafreed.Assert(object.selection != null);
                 if (object.selection.Size() > 0)
                 {
                     int hitSomething = object.selection.get(0).hitSomething;

--
Gitblit v1.6.2