From 21596ca31cd12d7c8088d0e95779bc1948e53783 Mon Sep 17 00:00:00 2001
From: Mystikfluu <Mystikfluu@gmail.com>
Date: Sun, 4 Jun 2023 18:20:48 +0200
Subject: [PATCH] autoincrement key ids

---
 .idea/misc.xml             | 2 +-
 at/fos/ermodel/gui/B3.java | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 0ec6b57..604d27e 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" project-jdk-name="zulu-17" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" project-jdk-name="azul-17 (2)" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
 </project>
\ No newline at end of file
diff --git a/at/fos/ermodel/gui/B3.java b/at/fos/ermodel/gui/B3.java
index 28e49f2..c586212 100644
--- a/at/fos/ermodel/gui/B3.java
+++ b/at/fos/ermodel/gui/B3.java
@@ -1402,6 +1402,9 @@ public class B3
                     if(gme instanceof Graphic_ATTR_Elem) {
                         if(gme.name.equalsIgnoreCase("id")) {
                             ((Graphic_ATTR_Elem) gme).datatype = "int";
+                            if(((Graphic_ATTR_Elem) gme).isKey) {
+                                ((Graphic_ATTR_Elem) gme).isAutoincrement = true;
+                            }
                         }
                     }