add very big index card deck (known as mobile gui card deck before) to the list of distributed card decks and set this to default. For this style there is a new card deck file type needed because of the very big index symbols left top. Therefor #154 is implemented

2012-11-10 02:02:25 +01:00
parent 59df9c0968
commit e8498d1338
15 changed files with 336 additions and 184 deletions
@@ -585,6 +585,11 @@ p, li { white-space: pre-wrap; }
                 <string>Maintainer</string>
                </property>
               </column>
+               <column>
+                <property name="text">
+                 <string>State</string>
+                </property>
+               </column>
              </widget>
             </item>
            </layout>