From 0f338cdecb9b3d2154148c4048424876e21caa76 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Fri, 8 Jun 2018 07:50:46 +0200
Subject: [PATCH] added rotation attribute to text element, see #159

---
 .../de/neemann/digital/gui/components/data/DummyElement.java     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/de/neemann/digital/gui/components/data/DummyElement.java b/src/main/java/de/neemann/digital/gui/components/data/DummyElement.java
index 9d53dd02b..64289ab6c 100644
--- a/src/main/java/de/neemann/digital/gui/components/data/DummyElement.java
+++ b/src/main/java/de/neemann/digital/gui/components/data/DummyElement.java
@@ -31,6 +31,7 @@ public class DummyElement implements Element {
      */
     public static final ElementTypeDescription TEXTDESCRIPTION = new ElementTypeDescription("Text", DummyElement.class)
             .addAttribute(Keys.DESCRIPTION)
+            .addAttribute(Keys.ROTATE)
             .addAttribute(Keys.FONT_SIZE);
 
     /**