From f23e09019d161b02d566ffe312fdc553459fb954 Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Sun, 28 Apr 2019 16:14:58 -0400
Subject: [PATCH] Grafreed 1.0.1 Option panel
---
ObjEditor.java | 7 +++++++
1 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/ObjEditor.java b/ObjEditor.java
index cad3c8b..d819144 100644
--- a/ObjEditor.java
+++ b/ObjEditor.java
@@ -1292,6 +1292,9 @@
optionsPanel = new JPanel(new GridBagLayout());
optionsPanel.setName("Options");
+
+ AddOptions(optionsPanel, aConstraints);
+
scenePanel.add(optionsPanel);
@@ -1393,6 +1396,10 @@
});
}
+ void AddOptions(JPanel panel, GridBagConstraints constraints)
+ {
+ }
+
JTree GetTree()
{
return objEditor.jTree;
--
Gitblit v1.6.2