diff game/IDMWidget.java @ 175:55ea5821c802

Implement "real" widget modality.
author Matti Hamalainen <ccr@tnsp.org>
date Thu, 16 Mar 2017 10:42:54 +0200
parents 5070e57ebbfc
children 9f04e8ab180a
line wrap: on
line diff
--- a/game/IDMWidget.java	Mon Mar 06 11:55:40 2017 +0200
+++ b/game/IDMWidget.java	Thu Mar 16 10:42:54 2017 +0200
@@ -13,6 +13,7 @@
     IDMWidget parent;
     IDMPoint pos, size, scale;
     int keyCode;
+    boolean modalWidget;
 
     IDMPoint textCurrPos, textCurrOffs;
     Paint textPaint;
@@ -254,4 +255,14 @@
 
         g.setPaint(savePaint);
     }
+
+    public boolean isModal()
+    {
+        return modalWidget;
+    }
+
+    public void setModal(boolean m)
+    {
+        modalWidget = m;
+    }
 }