View | Details | Raw Unified | Return to bug 197431
Collapse All | Expand All

(-)games/freedoko/Makefile (-15 / +17 lines)
Lines 2-9 Link Here
2
# $FreeBSD: head/games/freedoko/Makefile 373552 2014-11-28 11:20:50Z amdmi3 $
2
# $FreeBSD: head/games/freedoko/Makefile 373552 2014-11-28 11:20:50Z amdmi3 $
3
3
4
PORTNAME=	freedoko
4
PORTNAME=	freedoko
5
PORTVERSION=	0.7.12
5
PORTVERSION=	0.7.13
6
PORTREVISION=	2
7
CATEGORIES=	games
6
CATEGORIES=	games
8
MASTER_SITES=	SF/free-doko/FreeDoko%20source
7
MASTER_SITES=	SF/free-doko/FreeDoko%20source
9
DISTNAME=	FreeDoko_${PORTVERSION}.src
8
DISTNAME=	FreeDoko_${PORTVERSION}.src
Lines 12-18 Link Here
12
COMMENT=	Play the card game Doppelkopf
11
COMMENT=	Play the card game Doppelkopf
13
12
14
LICENSE=	GPLv2
13
LICENSE=	GPLv2
15
LICENSE_FILE=	${WRKSRC}/../COPYING
16
14
17
LIB_DEPENDS=	libgnet-2.0.so:${PORTSDIR}/net/gnet2
15
LIB_DEPENDS=	libgnet-2.0.so:${PORTSDIR}/net/gnet2
18
16
Lines 22-30 Link Here
22
USE_GNOME=	gtkmm24
20
USE_GNOME=	gtkmm24
23
MAKE_ENV=	OS="${OPSYS}" DATADIR="${DATADIR}" DOCSDIR="${DOCSDIR}"
21
MAKE_ENV=	OS="${OPSYS}" DATADIR="${DATADIR}" DOCSDIR="${DOCSDIR}"
24
22
25
PLIST_FILES=	bin/FreeDoko bin/freedoko
23
DESKTOP_ENTRIES="FreeDoko" "" "${DATADIR}/icon.png" "FreeDoko" "" ""
26
PORTDOCS=	*
24
27
PORTDATA=	*
25
PORTDATA=	*
26
PORTDOCS=	*
27
PLIST_FILES=	bin/FreeDoko bin/freedoko
28
28
29
OPTIONS_DEFINE=	DOCS
29
OPTIONS_DEFINE=	DOCS
30
30
Lines 38-57 Link Here
38
	@${REINPLACE_CMD} -e '/\/X11\//d ; \
38
	@${REINPLACE_CMD} -e '/\/X11\//d ; \
39
		 s|/usr/local/|${LOCALBASE}/|g' ${WRKSRC}/misc/setting.cpp
39
		 s|/usr/local/|${LOCALBASE}/|g' ${WRKSRC}/misc/setting.cpp
40
40
41
post-build:
42
	@${FIND} ${WRKSRC}/../doc -empty -delete
43
41
do-install:
44
do-install:
42
	${INSTALL_PROGRAM} ${WRKSRC}/FreeDoko ${STAGEDIR}${PREFIX}/bin
45
	(cd ${WRKSRC} && ${INSTALL_PROGRAM} FreeDoko \
46
		${STAGEDIR}${PREFIX}/bin)
43
	${LN} -sf FreeDoko ${STAGEDIR}${PREFIX}/bin/freedoko
47
	${LN} -sf FreeDoko ${STAGEDIR}${PREFIX}/bin/freedoko
44
	@${MKDIR} ${STAGEDIR}${DATADIR}
48
	@${MKDIR} ${STAGEDIR}${DATADIR}
45
.for file in icon.png logo.png
49
	(cd ${WRKSRC} && ${INSTALL_DATA} icon.png logo.png \
46
	${INSTALL_DATA} ${WRKSRC}/${file} ${STAGEDIR}${DATADIR}
50
		${STAGEDIR}${DATADIR})
47
.endfor
51
.for i in backgrounds cardsets rules translations
48
.for dir in backgrounds cardsets rules translations
52
	(cd ${WRKSRC}/../data && ${FIND} ${i} ! -name "*Makefile*" | \
49
	cd ${WRKSRC}/../data && ${FIND} ${dir} ! -name "*Makefile*" | \
53
		${CPIO} --quiet -pdum ${STAGEDIR}${DATADIR})
50
		${CPIO} --quiet -pdum ${STAGEDIR}${DATADIR}
51
.endfor
54
.endfor
52
	@${MKDIR} ${STAGEDIR}${DOCSDIR}
55
	@${MKDIR} ${STAGEDIR}${DOCSDIR}
53
	cd ${WRKSRC}/../doc/manual && ${FIND} . | \
56
	@(cd ${WRKSRC}/../doc/manual && ${COPYTREE_SHARE} . \
54
		${CPIO} --quiet -pdum ${STAGEDIR}${DOCSDIR}
57
		${STAGEDIR}${DOCSDIR})
55
	@${RMDIR} ${STAGEDIR}${DOCSDIR}/de/pictures
56
58
57
.include <bsd.port.mk>
59
.include <bsd.port.mk>
(-)games/freedoko/distinfo (-2 / +2 lines)
Lines 1-2 Link Here
1
SHA256 (FreeDoko_0.7.12.src.zip) = ce81ad52c16b4c5d59366ef8624da1be59326bbb8e58a79efee1448d9f603685
1
SHA256 (FreeDoko_0.7.13.src.zip) = 256187c8a5bf6f21cf8c57e40fe25391e371d028d5adff67114c5a8576938cac
2
SIZE (FreeDoko_0.7.12.src.zip) = 16254959
2
SIZE (FreeDoko_0.7.13.src.zip) = 17463949
(-)games/freedoko/files/patch-1648 (-1572 lines)
Lines 1-1572 Link Here
1
Upstream bug:
2
http://sourceforge.net/p/free-doko/bugs/325/
3
4
based on:
5
http://svn.gna.org/viewcvs/freedoko?view=revision&revision=1648
6
7
Index: src/ui/gtkmm/gameinfo.cpp
8
===================================================================
9
--- ui/gtkmm/gameinfo.cpp	(revision 1647)
10
+++ ui/gtkmm/gameinfo.cpp	(working copy)
11
@@ -60,13 +60,13 @@
12
   GameInfoDialog::Information::Information(Base* const parent,
13
                                            ::Translator::Translation const& title) :
14
     Base(parent),
15
-    Gtk::VBox(false, 1 ex),
16
+    Gtk::VBox(false, 1 EX),
17
     title(title),
18
     icon(this->ui->icons->new_managed_image()),
19
     label(Gtk::manage(new Gtk::Label("")))
20
   {
21
     this->ui->translations->add(*this->label, ::translation(""));
22
-    this->set_border_width(1 ex);
23
+    this->set_border_width(1 EX);
24
     
25
     return ;
26
   } // GameInfoDialog::Information::Information(Base* parent)
27
Index: src/ui/gtkmm/preferences.cpp
28
===================================================================
29
--- ui/gtkmm/preferences.cpp	(revision 1647)
30
+++ ui/gtkmm/preferences.cpp	(working copy)
31
@@ -399,7 +399,7 @@
32
         vbox->add(*alignment)
33
 #define ADD_ALIGNMENT_HBOX \
34
         ADD_ALIGNMENT; \
35
-        Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 ex)); \
36
+        Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EX)); \
37
         alignment->add(*hbox)
38
 #define ADD_ALIGNMENT_VBOX2 \
39
         ADD_ALIGNMENT; \
40
@@ -453,6 +453,11 @@
41
             alignment->add(*(this->type_bool[Setting::SAVE_PARTY_CHANGES
42
                              - Setting::BOOL_FIRST]));
43
           } // save party changes
44
+          { // save party changes
45
+            ADD_ALIGNMENT;
46
+            alignment->add(*(this->type_bool[Setting::ADDITIONAL_PARTY_SETTINGS
47
+                             - Setting::BOOL_FIRST]));
48
+          } // save party changes
49
 #ifdef USE_SOUND_COMMAND
50
           { // play sound command
51
             ADD_ALIGNMENT_HBOX;
52
@@ -644,7 +649,7 @@
53
                                                       "theme");
54
 
55
             { // cardset
56
-              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 ex));
57
+              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EX));
58
               vbox->add(*hbox);
59
 
60
               hbox->pack_start(*(this->type_string_label[Setting::CARDSET
61
@@ -653,7 +658,7 @@
62
                                - Setting::STRING_FIRST]), true, true);
63
             } // cardset
64
             { // cards back
65
-              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 ex));
66
+              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EX));
67
               vbox->add(*hbox);
68
 
69
               hbox->pack_start(*(this->type_string_label[Setting::CARDS_BACK
70
@@ -662,7 +667,7 @@
71
                                - Setting::STRING_FIRST]), true, true);
72
             } // cards back
73
             { // iconset
74
-              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 ex));
75
+              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EX));
76
               vbox->add(*hbox);
77
 
78
               hbox->pack_start(*(this->type_string_label[Setting::ICONSET
79
@@ -671,7 +676,7 @@
80
                                - Setting::STRING_FIRST]), true, true);
81
             } // iconset
82
             { // background
83
-              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 ex));
84
+              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EX));
85
               vbox->add(*hbox);
86
 
87
               hbox->pack_start(*(this->type_string_label[Setting::BACKGROUND
88
@@ -824,7 +829,7 @@
89
                                          0, 0));
90
       this->add_group(name, *alignment);
91
 
92
-      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
93
+      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
94
       alignment->add(*vbox);
95
 
96
       return vbox;
97
@@ -911,7 +916,7 @@
98
                                         Gtk::PACK_START);
99
 
100
 
101
-      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
102
+      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
103
       alignment->add(*vbox);
104
 
105
       return vbox;
106
Index: src/ui/gtkmm/party_settings.cpp
107
===================================================================
108
--- ui/gtkmm/party_settings.cpp	(revision 1647)
109
+++ ui/gtkmm/party_settings.cpp	(working copy)
110
@@ -54,6 +54,7 @@
111
 #include "../../network/server.h"
112
 #endif
113
 #include "../../os/bug_report_replay.h"
114
+#include "../../misc/setting.h"
115
 
116
 #include "widgets/stock_button.h"
117
 #include <gtkmm/stock.h>
118
@@ -85,6 +86,7 @@
119
     load_bug_report_button(NULL),
120
     start_party_button(NULL),
121
     close_button(NULL),
122
+    seed_frame(NULL),
123
     seed_value(NULL),
124
     seed_random(NULL),
125
     rule_number_of_rounds_limited(NULL),
126
@@ -91,8 +93,9 @@
127
     rule_number_of_rounds(NULL),
128
     rule_points_limited(NULL),
129
     rule_points(NULL),
130
+    startplayer_frame(NULL),
131
     startplayer(),
132
-    startplayer_random(),
133
+    startplayer_random(NULL),
134
     switch_players_buttons(),
135
     configure_players(),
136
     configure_rules()
137
@@ -287,8 +290,8 @@
138
         } // the switch buttons
139
       } // create the startplayer buttons
140
       { // Layout
141
-        Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 em));
142
-        hbox->set_border_width(1 em);
143
+        Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EM));
144
+        hbox->set_border_width(1 EM);
145
         this->get_vbox()->add(*hbox);
146
         { // actions
147
           { // configure
148
@@ -298,7 +301,7 @@
149
                                                1, 0));
150
             hbox->pack_end(*alignment, false, true);
151
 
152
-            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(true, 1 ex));
153
+            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(true, 1 EX));
154
             alignment->add(*vbox);
155
 
156
             vbox->add(*this->configure_rules);
157
@@ -323,18 +326,18 @@
158
                                              0, 0));
159
           hbox->pack_start(*alignment, true, true);
160
 
161
-          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
162
+          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
163
           alignment->add(*vbox);
164
 
165
           { // seed
166
-            Gtk::Frame* seed_frame = Gtk::manage(new Gtk::Frame("Game seed"));
167
-            this->ui->translations->add(*(dynamic_cast<Gtk::Label*>(seed_frame->get_label_widget())),
168
+            this->seed_frame = Gtk::manage(new Gtk::Frame("Game seed"));
169
+            this->ui->translations->add(*(dynamic_cast<Gtk::Label*>(this->seed_frame->get_label_widget())),
170
                                         ::translation("game seed"));
171
-            vbox->add(*seed_frame);
172
+            vbox->add(*this->seed_frame);
173
 
174
             Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 10));
175
-            seed_frame->add(*vbox2);
176
-            vbox2->set_border_width(2 ex);
177
+            this->seed_frame->add(*vbox2);
178
+            vbox2->set_border_width(2 EX);
179
 
180
             Gtk::Alignment* alignment2
181
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
182
@@ -364,8 +367,8 @@
183
 
184
             Gtk::Table* table = Gtk::manage(new Gtk::Table(2, 2, false));
185
             alignment->add(*table);
186
-            table->set_border_width(2 ex);
187
-            table->set_spacings(1 ex);
188
+            table->set_border_width(2 EX);
189
+            table->set_spacings(1 EX);
190
 
191
             table->attach(*this->rule_number_of_rounds_limited, 0, 1, 0, 1);
192
             table->attach(*this->rule_number_of_rounds, 1, 2, 0, 1);
193
@@ -374,17 +377,17 @@
194
           } // duration
195
 
196
           { // startplayer
197
-            Gtk::Frame* startplayer_frame
198
+            this->startplayer_frame
199
               = Gtk::manage(new Gtk::Frame("~startplayer"));
200
-            this->ui->translations->add(*(dynamic_cast<Gtk::Label*>(startplayer_frame->get_label_widget())),
201
+            this->ui->translations->add(*(dynamic_cast<Gtk::Label*>(this->startplayer_frame->get_label_widget())),
202
                                         ::translation("startplayer"));
203
-            vbox->add(*startplayer_frame);
204
+            vbox->add(*this->startplayer_frame);
205
 
206
             Gtk::Table* startplayer_table
207
               = Gtk::manage(new Gtk::Table(3, 3, true));
208
-            startplayer_frame->add(*startplayer_table);
209
-            startplayer_table->set_border_width(2 ex);
210
-            startplayer_table->set_spacings(1 ex);
211
+            this->startplayer_frame->add(*startplayer_table);
212
+            startplayer_table->set_border_width(2 EX);
213
+            startplayer_table->set_spacings(1 EX);
214
             startplayer_table->attach(*this->startplayer_random, 1, 2, 1, 2);
215
             startplayer_table->attach(*this->startplayer[0], 1, 2, 2, 3);
216
             startplayer_table->attach(*this->startplayer[1], 0, 1, 1, 2);
217
@@ -463,6 +466,7 @@
218
       } // signals
219
 
220
       this->show_all_children();
221
+      this->sensitivity_update();
222
       this->update();
223
 
224
       return ;
225
@@ -632,6 +636,14 @@
226
       this->load_bug_report_button->set_sensitive(sensitive);
227
       this->start_party_button->set_sensitive(sensitive);
228
 
229
+     if (::setting(Setting::ADDITIONAL_PARTY_SETTINGS)) {
230
+       this->seed_frame->show();
231
+       this->startplayer_frame->show();
232
+     } else {
233
+       this->seed_frame->hide();
234
+       this->startplayer_frame->hide();
235
+     }
236
+
237
       return ;
238
     } // void PartySettings::sensitivity_update()
239
 
240
Index: src/ui/gtkmm/network.cpp
241
===================================================================
242
--- ui/gtkmm/network.cpp	(revision 1647)
243
+++ ui/gtkmm/network.cpp	(working copy)
244
@@ -377,7 +377,7 @@
245
       } // the rule differences
246
 
247
       { // Layout
248
-	Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 ex));
249
+	Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 EX));
250
 
251
 #ifndef OUTDATED
252
 	// will be outdated when the network support is finished,
253
@@ -400,13 +400,13 @@
254
 	    Gtk::Label* label = Gtk::manage(new Gtk::Label("connections"));
255
 	    this->ui->translations->add(*label, ::translation("connections"));
256
 
257
-	    Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 ex));
258
+	    Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 EX));
259
 
260
 	    { // connection list
261
 	      Gtk::ScrolledWindow* scrolled_window
262
 		= Gtk::manage(new Gtk::ScrolledWindow);
263
 
264
-	      scrolled_window->set_border_width(1 ex);
265
+	      scrolled_window->set_border_width(1 EX);
266
 	      scrolled_window->set_policy(Gtk::POLICY_NEVER,
267
 					  Gtk::POLICY_AUTOMATIC);
268
 	      scrolled_window->add(*this->connection_treeview);
269
@@ -432,9 +432,9 @@
270
 	      static_cast<Gtk::Frame*>(this->new_connection_container
271
 				      )->set_label_widget(*label);
272
 
273
-	      Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 em));
274
+	      Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EM));
275
 
276
-	      hbox->set_border_width(1 ex);
277
+	      hbox->set_border_width(1 EX);
278
 
279
 	      hbox->add(*this->new_connection_address);
280
 	      hbox->add(*this->new_connection_port);
281
@@ -447,7 +447,7 @@
282
 	    notebook->append_page(*vbox, *label);
283
 	  } // connections
284
 	  { // listeners
285
-	    Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
286
+	    Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
287
 
288
 	    Gtk::Label* label = Gtk::manage(new Gtk::Label("listeners"));
289
 	    this->ui->translations->add(*label, ::translation("listeners"));
290
@@ -455,7 +455,7 @@
291
 	    Gtk::ScrolledWindow* scrolled_window
292
 	      = Gtk::manage(new Gtk::ScrolledWindow);
293
 
294
-	    scrolled_window->set_border_width(1 ex);
295
+	    scrolled_window->set_border_width(1 EX);
296
 	    scrolled_window->set_policy(Gtk::POLICY_NEVER,
297
 					Gtk::POLICY_AUTOMATIC);
298
 	    scrolled_window->add(*this->listeners_treeview);
299
@@ -469,8 +469,8 @@
300
 	      static_cast<Gtk::Frame*>(this->new_listener_container
301
 				      )->set_label_widget(*label);
302
 
303
-	      Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 em));
304
-	      hbox->set_border_width(1 ex);
305
+	      Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EM));
306
+	      hbox->set_border_width(1 EX);
307
 
308
 	      hbox->add(*this->standard_listener_port);
309
 	      hbox->add(*this->listener_port);
310
@@ -490,7 +490,7 @@
311
 	    Gtk::ScrolledWindow* scrolled_window
312
 	      = Gtk::manage(new Gtk::ScrolledWindow);
313
 
314
-	    scrolled_window->set_border_width(1 ex);
315
+	    scrolled_window->set_border_width(1 EX);
316
 	    scrolled_window->set_policy(Gtk::POLICY_NEVER,
317
 					Gtk::POLICY_AUTOMATIC);
318
 	    scrolled_window->add(*this->local_addresses_treeview);
319
@@ -506,7 +506,7 @@
320
 	    Gtk::ScrolledWindow* scrolled_window
321
 	      = Gtk::manage(new Gtk::ScrolledWindow);
322
 
323
-	    scrolled_window->set_border_width(1 ex);
324
+	    scrolled_window->set_border_width(1 EX);
325
 	    scrolled_window->set_policy(Gtk::POLICY_NEVER,
326
 					Gtk::POLICY_AUTOMATIC);
327
 	    scrolled_window->add(*this->rule_diffs_treeview);
328
@@ -529,7 +529,7 @@
329
 	  this->ui->translations->add(*this->synchronize_button,
330
 				      ::translation("synchronize network"));
331
 	  dynamic_cast<Gtk::Container*>(this->synchronize_button->get_child()
332
-				       )->set_border_width(1 ex / 2);
333
+				       )->set_border_width(1 EX / 2);
334
 
335
 	  alignment->add(*this->synchronize_button);
336
 	  vbox->pack_end(*alignment, false, true);
337
@@ -545,7 +545,7 @@
338
 	  this->ui->translations->add(*this->clear_button,
339
 				      ::translation("clear network"));
340
 	  dynamic_cast<Gtk::Container*>(this->clear_button->get_child()
341
-				       )->set_border_width(1 ex / 2);
342
+				       )->set_border_width(1 EX / 2);
343
 
344
 	  alignment->add(*this->clear_button);
345
 	  vbox->pack_end(*alignment, false, true);
346
Index: src/ui/gtkmm/ui.update.cpp
347
===================================================================
348
--- ui/gtkmm/ui.update.cpp	(revision 1647)
349
+++ ui/gtkmm/ui.update.cpp	(working copy)
350
@@ -652,6 +652,11 @@
351
           this->table->draw_all();
352
         break;
353
 
354
+      case Setting::ADDITIONAL_PARTY_SETTINGS:
355
+        if (this->party_settings)
356
+          this->party_settings->update();
357
+        break;
358
+
359
       default:
360
         break;
361
       } // switch(type)
362
Index: src/ui/gtkmm/last_trick.cpp
363
===================================================================
364
--- ui/gtkmm/last_trick.cpp	(revision 1647)
365
+++ ui/gtkmm/last_trick.cpp	(working copy)
366
@@ -132,7 +132,7 @@
367
         close_button->signal_clicked().connect(sigc::mem_fun(*this, &LastTrick::hide));
368
       } // action area
369
 
370
-      this->get_vbox()->set_spacing(1 ex);
371
+      this->get_vbox()->set_spacing(1 EX);
372
 
373
       this->navigation_container = Gtk::manage(new Gtk::HBox());
374
       this->previous_trick_button = Gtk::manage(new Gtk::Button());
375
Index: src/ui/gtkmm/party_summary.cpp
376
===================================================================
377
--- ui/gtkmm/party_summary.cpp	(revision 1647)
378
+++ ui/gtkmm/party_summary.cpp	(working copy)
379
@@ -124,7 +124,7 @@
380
       this->set_position(Gtk::WIN_POS_CENTER_ON_PARENT);
381
 
382
 
383
-      this->get_vbox()->set_spacing(1 ex);
384
+      this->get_vbox()->set_spacing(1 EX);
385
 
386
       { // action area
387
 	this->new_party_button
388
Index: src/ui/gtkmm/party_points.cpp
389
===================================================================
390
--- ui/gtkmm/party_points.cpp	(revision 1647)
391
+++ ui/gtkmm/party_points.cpp	(working copy)
392
@@ -216,8 +216,8 @@
393
 
394
         { // table
395
           Gtk::VBox* table_vbox = Gtk::manage(new Gtk::VBox(false));
396
-          table_vbox->set_border_width(1 ex);
397
-          table_vbox->set_spacing(1 ex);
398
+          table_vbox->set_border_width(1 EX);
399
+          table_vbox->set_spacing(1 EX);
400
 
401
           { // the points table
402
             this->party_points_model = new PartyPointsModel(1000 * ::party.playerno());
403
@@ -430,8 +430,8 @@
404
                                                   0));
405
 
406
         Gtk::Box* box = Gtk::manage(new Gtk::HBox(true));
407
-        box->pack_start(*this->remaining_rounds_label, Gtk::PACK_SHRINK, 1 em);
408
-        box->pack_end(*this->remaining_points_label, Gtk::PACK_SHRINK, 1 em);
409
+        box->pack_start(*this->remaining_rounds_label, Gtk::PACK_SHRINK, 1 EM);
410
+        box->pack_end(*this->remaining_points_label, Gtk::PACK_SHRINK, 1 EM);
411
 
412
         this->get_vbox()->pack_start(*box, false, true);
413
       } // remaining rounds / points
414
@@ -1217,7 +1217,7 @@
415
                                                       : 0) ) );
416
       if (   party.rule()(Rule::NUMBER_OF_ROUNDS_LIMITED)
417
           || party.rule()(Rule::POINTS_LIMITED))
418
-        this->remaining_rounds_label->get_parent()->set_border_width(1 ex);
419
+        this->remaining_rounds_label->get_parent()->set_border_width(1 EX);
420
       else
421
         this->remaining_rounds_label->get_parent()->set_border_width(0);
422
 
423
Index: src/ui/gtkmm/bug_report_replay.cpp
424
===================================================================
425
--- ui/gtkmm/bug_report_replay.cpp	(revision 1647)
426
+++ ui/gtkmm/bug_report_replay.cpp	(working copy)
427
@@ -216,8 +216,8 @@
428
           Gtk::Label* label = Gtk::manage(new Gtk::Label("general"));
429
           this->ui->translations->add(*label, ::translation("BugReportReplay::Group::general"));
430
 
431
-          Gtk::Box* general_box = Gtk::manage(new Gtk::VBox(false, 1 em));
432
-          general_box->set_border_width(1 em);
433
+          Gtk::Box* general_box = Gtk::manage(new Gtk::VBox(false, 1 EM));
434
+          general_box->set_border_width(1 EM);
435
 
436
           { // game box
437
             Gtk::Alignment* alignment
438
@@ -224,7 +224,7 @@
439
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
440
                                                Gtk::ALIGN_CENTER,
441
                                                0, 0));
442
-            Gtk::Box* game_box = Gtk::manage(new Gtk::VBox(false, 1 ex));
443
+            Gtk::Box* game_box = Gtk::manage(new Gtk::VBox(false, 1 EX));
444
 
445
             game_box->pack_start(*this->version, Gtk::PACK_EXPAND_WIDGET);
446
             game_box->pack_start(*this->system, Gtk::PACK_EXPAND_WIDGET);
447
@@ -247,7 +247,7 @@
448
           Gtk::Label* label = Gtk::manage(new Gtk::Label("actions"));
449
           this->ui->translations->add(*label, ::translation("BugReportReplay::Group::actions"));
450
 
451
-          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
452
+          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
453
 
454
           Gtk::ScrolledWindow* scrolled_window
455
             = Gtk::manage(new Gtk::ScrolledWindow);
456
Index: src/ui/gtkmm/reservation.cpp
457
===================================================================
458
--- ui/gtkmm/reservation.cpp	(revision 1647)
459
+++ ui/gtkmm/reservation.cpp	(working copy)
460
@@ -224,7 +224,7 @@
461
           = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
462
                                            Gtk::ALIGN_CENTER,
463
                                            0, 0));
464
-        alignment->set_border_width(1 ex);
465
+        alignment->set_border_width(1 EX);
466
         alignment->add(*this->bock_label);
467
         this->get_vbox()->add(*alignment);
468
       } // bock information
469
@@ -261,13 +261,13 @@
470
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
471
                                                Gtk::ALIGN_CENTER,
472
                                                0, 0));
473
-            alignment->set_border_width(2 ex);
474
+            alignment->set_border_width(2 EX);
475
             Gtk::Label* label = Gtk::manage(new Gtk::Label("general"));
476
             this->ui->translations->add(*label,
477
                                         ::translation("GameType::Group::general"));
478
             this->notebook->append_page(*alignment, *label);
479
 
480
-            Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 ex));
481
+            Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EX));
482
             alignment->add(*hbox);
483
 
484
             Gtk::VBox* vbox = NULL;
485
@@ -322,7 +322,7 @@
486
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
487
                                                Gtk::ALIGN_CENTER,
488
                                                0, 0));
489
-            alignment->set_border_width(2 ex);
490
+            alignment->set_border_width(2 EX);
491
             Gtk::Label* label = Gtk::manage(new Gtk::Label("solo"));
492
             this->ui->translations->add(*label,
493
                                         ::translation("GameType::Group::solo"));
494
@@ -428,8 +428,8 @@
495
           table2->attach(*this->remaining_points_number,
496
                          1, 2, 2, 3);
497
 
498
-          table2->set_row_spacings(1 ex);
499
-          table2->set_col_spacings(static_cast<int>(0.5 em));
500
+          table2->set_row_spacings(1 EX);
501
+          table2->set_col_spacings(static_cast<int>(0.5 EM));
502
           table2->set_homogeneous(false);
503
 
504
           alignment->add(*table2);
505
@@ -482,14 +482,14 @@
506
           table2->attach(*this->duty_picture_soli_number,
507
                          1, 2, 2, 3);
508
 
509
-          table2->set_row_spacings(1 ex);
510
-          table2->set_col_spacings(static_cast<int>(0.5 em));
511
+          table2->set_row_spacings(1 EX);
512
+          table2->set_col_spacings(static_cast<int>(0.5 EM));
513
           table2->set_homogeneous(false);
514
 
515
           alignment->add(*table2);
516
           table->attach(*alignment, 1, 2, 0, 1);
517
         } // duty soli
518
-        table->set_border_width(1 ex);
519
+        table->set_border_width(1 EX);
520
         this->get_vbox()->add(*table);
521
       } // tournament info
522
 
523
Index: src/ui/gtkmm/game_debug.cpp
524
===================================================================
525
--- ui/gtkmm/game_debug.cpp	(revision 1647)
526
+++ ui/gtkmm/game_debug.cpp	(working copy)
527
@@ -533,14 +533,14 @@
528
       } // action area
529
 
530
       { // content
531
-	Gtk::Box* content_box = Gtk::manage(new Gtk::HBox(false, 2 em));
532
+	Gtk::Box* content_box = Gtk::manage(new Gtk::HBox(false, 2 EM));
533
 	this->get_vbox()->add(*content_box);
534
 
535
-	Gtk::Box* left_box = Gtk::manage(new Gtk::VBox(false, 1 ex));
536
+	Gtk::Box* left_box = Gtk::manage(new Gtk::VBox(false, 1 EX));
537
 	content_box->pack_start(*left_box, false, false);
538
 	{ // game info
539
-	  Gtk::Box* box = Gtk::manage(new Gtk::VBox(true, 1 ex));
540
-	  box->set_border_width(1 em);
541
+	  Gtk::Box* box = Gtk::manage(new Gtk::VBox(true, 1 EX));
542
+	  box->set_border_width(1 EM);
543
 
544
 	  { // seed
545
 	    Gtk::Box* box2 = Gtk::manage(new Gtk::HBox(false, 0));
546
@@ -580,7 +580,7 @@
547
 	  this->ui->translations->add(*dynamic_cast<Gtk::Label*>(frame->get_label_widget()),
548
 				      ::translation("game info"));
549
 	  frame->add(*box);
550
-	  frame->set_border_width(1 em);
551
+	  frame->set_border_width(1 EM);
552
 	  Gtk::Alignment* alignment
553
 	    = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
554
 					     Gtk::ALIGN_CENTER,
555
@@ -630,13 +630,13 @@
556
 	  }
557
 
558
 	  Gtk::Alignment* a = Gtk::manage(new Gtk::Alignment);
559
-	  a->set_border_width(1 em);
560
+	  a->set_border_width(1 EM);
561
 	  a->add(*this->player_info_treeview);
562
 	  Gtk::Frame* frame = Gtk::manage(new Gtk::Frame("player info"));
563
 	  this->ui->translations->add(*dynamic_cast<Gtk::Label*>(frame->get_label_widget()),
564
 				      ::translation("player info"));
565
 	  frame->add(*a);
566
-	  frame->set_border_width(1 em);
567
+	  frame->set_border_width(1 EM);
568
 	  Gtk::Alignment* alignment
569
 	    = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
570
 					     Gtk::ALIGN_CENTER,
571
@@ -678,13 +678,13 @@
572
 	  } // for (p)
573
 
574
 	  Gtk::Alignment* a = Gtk::manage(new Gtk::Alignment);
575
-	  a->set_border_width(1 em);
576
+	  a->set_border_width(1 EM);
577
 	  a->add(*this->team_info_treeview);
578
 	  Gtk::Frame* frame = Gtk::manage(new Gtk::Frame("team info"));
579
 	  this->ui->translations->add(*dynamic_cast<Gtk::Label*>(frame->get_label_widget()),
580
 				      ::translation("team info"));
581
 	  frame->add(*a);
582
-	  frame->set_border_width(1 em);
583
+	  frame->set_border_width(1 EM);
584
 	  Gtk::Alignment* alignment
585
 	    = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
586
 					     Gtk::ALIGN_CENTER,
587
@@ -725,13 +725,13 @@
588
 	  scrolled_window->set_vadjustment(this->tricks_treeview->get_vadjustment());
589
 
590
 	  Gtk::Alignment* a = Gtk::manage(new Gtk::Alignment);
591
-	  a->set_border_width(1 em);
592
+	  a->set_border_width(1 EM);
593
 	  a->add(*scrolled_window);
594
 	  Gtk::Frame* frame = Gtk::manage(new Gtk::Frame("tricks"));
595
 	  this->ui->translations->add(*dynamic_cast<Gtk::Label*>(frame->get_label_widget()),
596
 				      ::translation("tricks"));
597
 	  frame->add(*a);
598
-	  frame->set_border_width(1 em);
599
+	  frame->set_border_width(1 EM);
600
 
601
 	  content_box->pack_end(*frame, true, true);
602
 	} // tricks
603
Index: src/ui/gtkmm/party_settings.h
604
===================================================================
605
--- ui/gtkmm/party_settings.h	(revision 1647)
606
+++ ui/gtkmm/party_settings.h	(working copy)
607
@@ -40,6 +40,7 @@
608
   class SpinButton;
609
   class CheckButton;
610
   class RadioButton;
611
+  class Frame;
612
 } // namespace Gtk
613
 
614
 class Setting;
615
@@ -120,6 +121,7 @@
616
       Gtk::StockButton* start_party_button;
617
       Gtk::StockButton* close_button;
618
 
619
+      Gtk::Frame* seed_frame;
620
       Gtk::SpinButton* seed_value;
621
       Gtk::CheckButton* seed_random;
622
 
623
@@ -128,6 +130,7 @@
624
       Gtk::CheckButton* rule_points_limited;
625
       Gtk::SpinButton* rule_points;
626
 
627
+      Gtk::Frame* startplayer_frame;
628
       vector<Gtk::RadioButton*> startplayer;
629
       Gtk::RadioButton* startplayer_random;
630
       vector<Gtk::Button*> switch_players_buttons;
631
Index: src/ui/gtkmm/rules.cpp
632
===================================================================
633
--- ui/gtkmm/rules.cpp	(revision 1647)
634
+++ ui/gtkmm/rules.cpp	(working copy)
635
@@ -308,7 +308,7 @@
636
 
637
           { // Tournament
638
             Gtk::VBox* tournament_box = this->add_group("tournament");
639
-            tournament_box->set_spacing(3 ex);
640
+            tournament_box->set_spacing(3 EX);
641
 
642
             { // with nines
643
               Gtk::Alignment* alignment
644
@@ -316,7 +316,7 @@
645
                                                  Gtk::ALIGN_CENTER,
646
                                                  0, 0));
647
               tournament_box->add(*alignment);
648
-              Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
649
+              Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
650
               alignment->add(*vbox2);
651
 
652
               vbox2->add(*this->type_bool[Rule::WITH_NINES - Rule::BOOL_FIRST]);
653
@@ -328,7 +328,7 @@
654
                                                  Gtk::ALIGN_CENTER,
655
                                                  0, 0));
656
               vbox->add(*alignment);
657
-              Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
658
+              Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
659
               alignment->add(*vbox2);
660
 
661
               vbox2->add(*this->type_unsigned[Rule::NUMBER_OF_PLAYERS - Rule::UNSIGNED_FIRST]);
662
@@ -336,7 +336,7 @@
663
             } // number of players
664
 #endif
665
             { // lower box
666
-              Gtk::Box* hbox = Gtk::manage(new Gtk::HBox(false, 2 em));
667
+              Gtk::Box* hbox = Gtk::manage(new Gtk::HBox(false, 2 EM));
668
               { // limits
669
                 Gtk::Alignment* alignment
670
                   = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
671
@@ -343,12 +343,12 @@
672
                                                    Gtk::ALIGN_CENTER,
673
                                                    0, 0));
674
                 hbox->add(*alignment);
675
-                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 2 ex));
676
+                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 2 EX));
677
                 alignment->add(*vbox2);
678
 
679
                 {
680
                   Gtk::VBox* vbox3
681
-                    = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
682
+                    = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
683
                   vbox2->add(*vbox3);
684
                   vbox3->add(*this->type_bool[Rule::NUMBER_OF_ROUNDS_LIMITED - Rule::BOOL_FIRST]);
685
                   vbox3->add(*this->type_unsigned[Rule::NUMBER_OF_ROUNDS - Rule::UNSIGNED_FIRST]);
686
@@ -355,7 +355,7 @@
687
                 }
688
                 {
689
                   Gtk::VBox* vbox3
690
-                    = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
691
+                    = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
692
                   vbox2->add(*vbox3);
693
                   vbox3->add(*this->type_bool[Rule::POINTS_LIMITED - Rule::BOOL_FIRST]);
694
                   vbox3->add(*this->type_unsigned[Rule::POINTS - Rule::UNSIGNED_FIRST]);
695
@@ -366,13 +366,13 @@
696
                   = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
697
                                                    Gtk::ALIGN_CENTER,
698
                                                    0, 0));
699
-                hbox->pack_end(*alignment, Gtk::PACK_SHRINK, 2 ex);
700
-                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 2 ex));
701
+                hbox->pack_end(*alignment, Gtk::PACK_SHRINK, 2 EX);
702
+                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 2 EX));
703
                 alignment->add(*vbox2);
704
 
705
                 {
706
                   Gtk::VBox* vbox3
707
-                    = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
708
+                    = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
709
                   vbox2->add(*vbox3);
710
                   vbox3->add(*this->type_unsigned[Rule::NUMBER_OF_DUTY_SOLI - Rule::UNSIGNED_FIRST]);
711
                   vbox3->add(*this->type_unsigned[Rule::NUMBER_OF_DUTY_COLOR_SOLI - Rule::UNSIGNED_FIRST]);
712
@@ -380,7 +380,7 @@
713
                 }
714
                 {
715
                   Gtk::VBox* vbox3
716
-                    = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
717
+                    = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
718
                   vbox2->add(*vbox3);
719
                   vbox3->add(*this->type_bool[Rule::OFFER_DUTY_SOLO - Rule::BOOL_FIRST]);
720
                 }
721
@@ -390,25 +390,25 @@
722
           } // Tournament
723
           { // counting
724
             Gtk::VBox* vbox = this->add_group("counting");
725
-            Gtk::HBox* counting_box = Gtk::manage(new Gtk::HBox(false, 4 em));
726
+            Gtk::HBox* counting_box = Gtk::manage(new Gtk::HBox(false, 4 EM));
727
             { // counting type
728
               Gtk::Alignment* alignment
729
                 = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
730
                                                  Gtk::ALIGN_CENTER,
731
                                                  0, 0));
732
-              Gtk::VBox* vbox_count = Gtk::manage(new Gtk::VBox(false, 2 ex));
733
+              Gtk::VBox* vbox_count = Gtk::manage(new Gtk::VBox(false, 2 EX));
734
               {
735
                 Gtk::Alignment* alignment
736
                   = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
737
                                                    Gtk::ALIGN_CENTER,
738
                                                    0, 0));
739
-                Gtk::Box* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
740
+                Gtk::Box* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
741
                 {
742
                   Gtk::Alignment* alignment
743
                     = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
744
                                                      Gtk::ALIGN_CENTER,
745
                                                      0, 0));
746
-                  alignment->set_border_width(1 ex / 2);
747
+                  alignment->set_border_width(1 EX / 2);
748
                   Gtk::Label* label = Gtk::manage(new Gtk::Label("counting"));
749
                   this->ui->translations->add(*label,
750
                                               ::translation(Rule::COUNTING));
751
@@ -430,7 +430,7 @@
752
                   = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
753
                                                    Gtk::ALIGN_CENTER,
754
                                                    0, 0));
755
-                alignment->set_border_width(1 ex / 2);
756
+                alignment->set_border_width(1 EX / 2);
757
                 alignment->add(*this->type_bool[Rule::SOLO_ALWAYS_COUNTS_TRIPLE - Rule::BOOL_FIRST]);
758
                 vbox_count->add(*alignment);
759
               }
760
@@ -438,8 +438,8 @@
761
               counting_box->add(*alignment);
762
             } // counting type
763
             { // Bock
764
-              Gtk::VBox* bock_box = Gtk::manage(new Gtk::VBox(false, 0 ex));
765
-              bock_box->set_spacing(2 ex);
766
+              Gtk::VBox* bock_box = Gtk::manage(new Gtk::VBox(false, 0 EX));
767
+              bock_box->set_spacing(2 EX);
768
               counting_box->add(*bock_box);
769
 
770
               {
771
@@ -461,7 +461,7 @@
772
                 alignment->add(*this->type_bool[Rule::BOCK_APPEND - Rule::BOOL_FIRST]);
773
               }
774
               { // conditions
775
-                Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(true, 1 ex / 2));
776
+                Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(true, 1 EX / 2));
777
                 bock_box->add(*vbox);
778
 
779
                 vbox->add(*this->type_bool[Rule::BOCK_120 - Rule::BOOL_FIRST]);
780
@@ -489,7 +489,7 @@
781
                                                  Gtk::ALIGN_CENTER,
782
                                                  0, 0));
783
               vbox0->add(*alignment);
784
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
785
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
786
               alignment->add(*vbox);
787
 
788
               vbox->add(*this->type_unsigned[Rule::SHOW_TRICKS_NUMBER - Rule::UNSIGNED_FIRST]);
789
@@ -502,7 +502,7 @@
790
                                                  Gtk::ALIGN_CENTER,
791
                                                  0, 0));
792
               vbox0->add(*alignment);
793
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
794
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
795
               alignment->add(*vbox);
796
 
797
               vbox->add(*this->type_bool[Rule::SHOW_SOLOPLAYER_IN_GAME - Rule::BOOL_FIRST]);
798
@@ -516,7 +516,7 @@
799
                                                  Gtk::ALIGN_CENTER,
800
                                                  0, 0));
801
               vbox0->add(*alignment);
802
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
803
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
804
               alignment->add(*vbox);
805
 
806
               vbox->add(*this->type_bool[Rule::CARD_HINT - Rule::BOOL_FIRST]);
807
@@ -526,10 +526,10 @@
808
           { // Solo
809
             Gtk::VBox* solo_box = this->add_group("solo",
810
                                                   this->ui->icons->new_managed_image(Icons::SOLO_KOEHLER, ICONSCALING));
811
-            solo_box->set_spacing(2 ex);
812
+            solo_box->set_spacing(2 EX);
813
 
814
             { // solo types
815
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
816
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
817
               solo_box->add(*vbox);
818
               {
819
                 Gtk::Alignment* alignment
820
@@ -547,10 +547,10 @@
821
                                                    0, 0));
822
                 vbox->add(*alignment);
823
                 {
824
-                  Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 em));
825
+                  Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EM));
826
                   alignment->add(*hbox);
827
                   {
828
-                    Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(true, 1 ex / 2));
829
+                    Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(true, 1 EX / 2));
830
                     hbox->add(*vbox2);
831
 
832
                     vbox2->add(*this->type_bool[Rule::SOLO_COLOR - Rule::BOOL_FIRST]);
833
@@ -558,7 +558,7 @@
834
                     vbox2->add(*this->type_bool[Rule::SOLO_MEATLESS - Rule::BOOL_FIRST]);
835
                   }
836
                   {
837
-                    Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(true, 1 ex / 2));
838
+                    Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(true, 1 EX / 2));
839
                     hbox->add(*vbox2);
840
 
841
                     vbox2->add(*this->type_bool[Rule::SOLO_JACK - Rule::BOOL_FIRST]);
842
@@ -566,7 +566,7 @@
843
                     vbox2->add(*this->type_bool[Rule::SOLO_KING - Rule::BOOL_FIRST]);
844
                   }
845
                   {
846
-                    Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(true, 1 ex / 2));
847
+                    Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(true, 1 EX / 2));
848
                     hbox->add(*vbox2);
849
 
850
                     vbox2->add(*this->type_bool[Rule::SOLO_QUEEN_JACK - Rule::BOOL_FIRST]);
851
@@ -581,7 +581,7 @@
852
                 = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
853
                                                  Gtk::ALIGN_CENTER,
854
                                                  0, 0));
855
-              solo_box->pack_end(*alignment, Gtk::PACK_SHRINK, 0 ex);
856
+              solo_box->pack_end(*alignment, Gtk::PACK_SHRINK, 0 EX);
857
 
858
               alignment->add(*this->type_bool[Rule::THROWING_BEFORE_SOLO - Rule::BOOL_FIRST]);
859
             }
860
@@ -590,7 +590,7 @@
861
                 = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
862
                                                  Gtk::ALIGN_CENTER,
863
                                                  0, 0));
864
-              solo_box->pack_end(*alignment, Gtk::PACK_SHRINK, 2 ex);
865
+              solo_box->pack_end(*alignment, Gtk::PACK_SHRINK, 2 EX);
866
 
867
               alignment->add(*this->type_bool[Rule::LUSTSOLO_PLAYER_LEADS - Rule::BOOL_FIRST]);
868
             }
869
@@ -605,7 +605,7 @@
870
                                                                          Gtk::ALIGN_CENTER,
871
                                                                          0, 0));
872
               poverty_box->add(*alignment);
873
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
874
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
875
               alignment->add(*vbox);
876
 
877
               vbox->add(*this->type_bool[Rule::POVERTY - Rule::BOOL_FIRST]);
878
@@ -622,7 +622,7 @@
879
                                                  Gtk::ALIGN_CENTER,
880
                                                  0, 0));
881
               poverty_box->add(*alignment);
882
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
883
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
884
               alignment->add(*vbox);
885
 
886
               vbox->add(*this->type_bool[Rule::THROW_WHEN_FOX_HIGHEST_TRUMP - Rule::BOOL_FIRST]);
887
@@ -656,7 +656,7 @@
888
                                                    Gtk::ALIGN_CENTER,
889
                                                    0, 0));
890
                 marriage_box->add(*alignment);
891
-                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
892
+                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
893
                 alignment->add(*vbox2);
894
 
895
                 vbox2->add(*this->type_bool[Rule::MARRIAGE_FIRST_FOREIGN - Rule::BOOL_FIRST]);
896
@@ -688,7 +688,7 @@
897
                 = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
898
                                                  Gtk::ALIGN_CENTER,
899
                                                  0, 0));
900
-              marriage_box->pack_end(*alignment, Gtk::PACK_SHRINK, 2 ex);
901
+              marriage_box->pack_end(*alignment, Gtk::PACK_SHRINK, 2 EX);
902
 
903
               alignment->add(*this->type_bool[Rule::GENSCHER - Rule::BOOL_FIRST]);
904
             } // genscher
905
@@ -704,7 +704,7 @@
906
                                                  0, 0));
907
               announcements_box->add(*alignment);
908
 
909
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
910
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
911
               alignment->add(*vbox);
912
 
913
               vbox->pack_start(*this->type_bool[Rule::KNOCKING - Rule::BOOL_FIRST]);
914
@@ -717,7 +717,7 @@
915
                                                  0, 0));
916
               announcements_box->add(*alignment);
917
 
918
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
919
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
920
               alignment->add(*vbox);
921
 
922
               {
923
@@ -748,7 +748,7 @@
924
                                                  0, 0));
925
               announcements_box->add(*alignment);
926
 
927
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
928
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
929
               alignment->add(*vbox);
930
 
931
               vbox->pack_start(*this->type_bool[Rule::ANNOUNCEMENT_LIMIT_ONLY_FOR_CURRENT - Rule::BOOL_FIRST]);
932
@@ -766,7 +766,7 @@
933
           { // Dollen
934
             Gtk::VBox* vbox = this->add_group("dollen",
935
                                               this->ui->icons->new_managed_image(Icons::DOLLEN, ICONSCALING));
936
-            vbox->set_spacing(1 ex / 2);
937
+            vbox->set_spacing(1 EX / 2);
938
 
939
             {
940
               vbox->add(*this->type_bool[Rule::DOLLEN - Rule::BOOL_FIRST]);
941
@@ -782,8 +782,8 @@
942
                                                                ICONSCALING)
943
                            )->add(*table);
944
 
945
-            table->set_col_spacings(2 em);
946
-            table->set_row_spacings(1 ex / 2);
947
+            table->set_col_spacings(2 EM);
948
+            table->set_row_spacings(1 EX / 2);
949
 
950
             {
951
               table->attach(*this->type_bool[Rule::SWINES - Rule::BOOL_FIRST],
952
@@ -819,8 +819,8 @@
953
                                               this->ui->icons->new_managed_image(Icons::DOPPELKOPF, ICONSCALING));
954
 
955
             {
956
-              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 em));
957
-              hbox->set_spacing(2 em);
958
+              Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EM));
959
+              hbox->set_spacing(2 EM);
960
               vbox->add(*hbox);
961
               {
962
                 Gtk::Alignment* alignment
963
@@ -828,7 +828,7 @@
964
                                                    Gtk::ALIGN_CENTER,
965
                                                    0, 0));
966
                 hbox->add(*alignment);
967
-                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
968
+                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
969
                 alignment->add(*vbox2);
970
 
971
                 vbox2->add(*this->type_bool[Rule::EXTRAPOINT_CATCH_FOX - Rule::BOOL_FIRST]);
972
@@ -842,7 +842,7 @@
973
                                                    Gtk::ALIGN_CENTER,
974
                                                    0, 0));
975
                 hbox->add(*alignment);
976
-                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
977
+                Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
978
                 alignment->add(*vbox2);
979
 
980
                 vbox2->add(*this->type_bool[Rule::EXTRAPOINT_CHARLIE - Rule::BOOL_FIRST]);
981
@@ -858,7 +858,7 @@
982
                                                  Gtk::ALIGN_CENTER,
983
                                                  0, 0));
984
               vbox->add(*alignment);
985
-              Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
986
+              Gtk::VBox* vbox2 = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
987
               alignment->add(*vbox2);
988
 
989
               vbox2->add(*this->type_bool[Rule::EXTRAPOINT_DOLLE_JABS_DOLLE - Rule::BOOL_FIRST]);
990
@@ -872,11 +872,11 @@
991
             = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
992
                                              Gtk::ALIGN_TOP,
993
                                              0, 0));
994
-          this->get_vbox()->pack_end(*alignment, Gtk::PACK_SHRINK, 1 ex);
995
+          this->get_vbox()->pack_end(*alignment, Gtk::PACK_SHRINK, 1 EX);
996
 
997
           Gtk::Box* file_box = Gtk::manage(new Gtk::HButtonBox());
998
-          file_box->set_border_width(1 ex / 2);
999
-          file_box->set_spacing(1 em);
1000
+          file_box->set_border_width(1 EX / 2);
1001
+          file_box->set_spacing(1 EM);
1002
           alignment->add(*file_box);
1003
 
1004
           file_box->add(*this->reset_button);
1005
@@ -1419,11 +1419,11 @@
1006
       Gtk::Alignment* alignment
1007
         = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER, Gtk::ALIGN_CENTER,
1008
                                          0, 0));
1009
-      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 ex));
1010
+      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 EX));
1011
       alignment->add(*vbox);
1012
-      vbox->set_border_width(1 em);
1013
+      vbox->set_border_width(1 EM);
1014
 
1015
-      Gtk::HBox* bookmark = Gtk::manage(new Gtk::HBox(false, 1 em / 2));
1016
+      Gtk::HBox* bookmark = Gtk::manage(new Gtk::HBox(false, 1 EM / 2));
1017
       if (image)
1018
         bookmark->add(*image);
1019
       if (!name.empty()) {
1020
Index: src/ui/gtkmm/about.cpp
1021
===================================================================
1022
--- ui/gtkmm/about.cpp	(revision 1647)
1023
+++ ui/gtkmm/about.cpp	(working copy)
1024
@@ -160,7 +160,7 @@
1025
         Gtk::Alignment* alignment
1026
           = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER, Gtk::ALIGN_CENTER,
1027
                                            0, 0));
1028
-        alignment->set_border_width(1 ex / 2);
1029
+        alignment->set_border_width(1 EX / 2);
1030
 
1031
         alignment->add(*homepage_button);
1032
 
1033
Index: src/ui/gtkmm/widgets/label_type_selector.h
1034
===================================================================
1035
--- ui/gtkmm/widgets/label_type_selector.h	(revision 1647)
1036
+++ ui/gtkmm/widgets/label_type_selector.h	(working copy)
1037
@@ -90,7 +90,7 @@
1038
         // inits the label type selector
1039
         void init()
1040
         {
1041
-          this->set_spacing(1 ex);
1042
+          this->set_spacing(1 EX);
1043
 
1044
           Gtk::Alignment* alignment
1045
             = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_RIGHT, Gtk::ALIGN_CENTER,
1046
Index: src/ui/gtkmm/widgets/labelentry.h
1047
===================================================================
1048
--- ui/gtkmm/widgets/labelentry.h	(revision 1647)
1049
+++ ui/gtkmm/widgets/labelentry.h	(working copy)
1050
@@ -49,7 +49,7 @@
1051
         label_(),
1052
         entry_()
1053
     { 
1054
-      this->set_spacing(1 ex);
1055
+      this->set_spacing(1 EX);
1056
 
1057
       Gtk::Alignment* alignment
1058
         = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER, Gtk::ALIGN_CENTER,
1059
Index: src/ui/gtkmm/trick_summary.cpp
1060
===================================================================
1061
--- ui/gtkmm/trick_summary.cpp	(revision 1647)
1062
+++ ui/gtkmm/trick_summary.cpp	(working copy)
1063
@@ -137,13 +137,13 @@
1064
 
1065
       { // info box
1066
         Gtk::VBox* info_box = Gtk::manage(new Gtk::VBox(true));
1067
-        info_box->set_border_width(2 ex);
1068
+        info_box->set_border_width(2 EX);
1069
         this->pack_end(*info_box);
1070
 
1071
         { // the labels
1072
           Gtk::Alignment* alignment = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER, Gtk::ALIGN_BOTTOM, 0, 0));
1073
-          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
1074
-          vbox->set_border_width(2 ex);
1075
+          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
1076
+          vbox->set_border_width(2 EX);
1077
           alignment->add(*vbox);
1078
 
1079
           this->winner = Gtk::manage(new Gtk::Label("Winner:"));
1080
@@ -164,8 +164,8 @@
1081
 
1082
         { // specialpoints
1083
           Gtk::Alignment* alignment = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER, Gtk::ALIGN_TOP, 0, 0));
1084
-          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
1085
-          vbox->set_border_width(2 ex);
1086
+          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
1087
+          vbox->set_border_width(2 EX);
1088
           alignment->add(*vbox);
1089
 
1090
           this->specialpoints_list
1091
Index: src/ui/gtkmm/genscher_selection.cpp
1092
===================================================================
1093
--- ui/gtkmm/genscher_selection.cpp	(revision 1647)
1094
+++ ui/gtkmm/genscher_selection.cpp	(working copy)
1095
@@ -113,11 +113,11 @@
1096
                                   ::translation("~genscher"));
1097
 
1098
       Gtk::Alignment* alignment = Gtk::manage(new Gtk::Alignment());
1099
-      alignment->set_border_width(2 ex);
1100
+      alignment->set_border_width(2 EX);
1101
       this->get_action_area()->add(*alignment);
1102
 
1103
-      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex));
1104
-      vbox->set_border_width(1 ex);
1105
+      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX));
1106
+      vbox->set_border_width(1 EX);
1107
       alignment->add(*vbox);
1108
 
1109
       this->info_label = Gtk::manage(new Gtk::Label("Genscher: Please choose your partner."));
1110
Index: src/ui/gtkmm/aiconfig.cpp
1111
===================================================================
1112
--- ui/gtkmm/aiconfig.cpp	(revision 1647)
1113
+++ ui/gtkmm/aiconfig.cpp	(working copy)
1114
@@ -394,7 +394,7 @@
1115
     Players::Player::AiConfig::create_container()
1116
     {
1117
       this->container
1118
-        = Gtk::manage(new Gtk::VBox(false, 1 ex));
1119
+        = Gtk::manage(new Gtk::VBox(false, 1 EX));
1120
 
1121
       { // the difficulty
1122
         Gtk::Alignment* alignment
1123
@@ -424,12 +424,12 @@
1124
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1125
                                                Gtk::ALIGN_CENTER,
1126
                                                0, 0));
1127
-            alignment->set_border_width(1 em);
1128
+            alignment->set_border_width(1 EM);
1129
 
1130
             Gtk::Table* table = Gtk::manage(new Gtk::Table(2, 2, true));
1131
-            table->set_col_spacings(2 em);
1132
-            table->set_row_spacings(1 ex);
1133
-            table->set_border_width(1 ex);
1134
+            table->set_col_spacings(2 EM);
1135
+            table->set_row_spacings(1 EX);
1136
+            table->set_border_width(1 EX);
1137
 
1138
             //table->attach(*this->difficulty_button, 0, 1, 0, 1);
1139
             // the difficulty selector is put in the 'player' page
1140
@@ -452,9 +452,9 @@
1141
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1142
                                                Gtk::ALIGN_CENTER,
1143
                                                0, 0));
1144
-            alignment->set_border_width(1 em);
1145
+            alignment->set_border_width(1 EM);
1146
 
1147
-            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 em));
1148
+            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EM));
1149
 
1150
             vbox->add(*(this->type_bool[Aiconfig::TEAMS_KNOWN - Aiconfig::BOOL_FIRST]));
1151
             vbox->add(*(this->type_bool[Aiconfig::HANDS_KNOWN - Aiconfig::BOOL_FIRST]));
1152
@@ -475,7 +475,7 @@
1153
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1154
                                                Gtk::ALIGN_CENTER,
1155
                                                0, 0));
1156
-            alignment->set_border_width(1 em);
1157
+            alignment->set_border_width(1 EM);
1158
 
1159
             // ToDo: table -> ListStore
1160
             Gtk::Table* table = Gtk::manage(new Gtk::Table(this->ui->party().rule()(Rule::MAX_NUMBER_OF_TRICKS_IN_GAME) + 2, 5));
1161
@@ -597,9 +597,9 @@
1162
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1163
                                                Gtk::ALIGN_CENTER,
1164
                                                0, 0));
1165
-            alignment->set_border_width(1 em);
1166
+            alignment->set_border_width(1 EM);
1167
 
1168
-            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 em));
1169
+            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EM));
1170
 
1171
             vbox->add(*this->type_int[Aiconfig::TAKEPOVERTY - Aiconfig::INT_FIRST]);
1172
             vbox->add(*this->type_int[Aiconfig::SINGLESOLO - Aiconfig::INT_FIRST]);
1173
@@ -620,9 +620,9 @@
1174
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1175
                                                Gtk::ALIGN_CENTER,
1176
                                                0, 0));
1177
-            alignment->set_border_width(1 em);
1178
+            alignment->set_border_width(1 EM);
1179
 
1180
-            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 em));
1181
+            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EM));
1182
 
1183
             vbox->add(*(this->type_int[Aiconfig::ANNOUNCELIMIT - Aiconfig::INT_FIRST]));
1184
             vbox->add(*(this->type_int[Aiconfig::ANNOUNCELIMITDEC - Aiconfig::INT_FIRST]));
1185
@@ -642,9 +642,9 @@
1186
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1187
                                                Gtk::ALIGN_CENTER,
1188
                                                0, 0));
1189
-            alignment->set_border_width(1 em);
1190
+            alignment->set_border_width(1 EM);
1191
 
1192
-            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 em));
1193
+            Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EM));
1194
 
1195
             vbox->add(*this->type_bool[Aiconfig::FEHLCREATIONONFIRSTCARD - Aiconfig::BOOL_FIRST]);
1196
             vbox->add(*this->type_int[Aiconfig::LAST_TRICKS_WITHOUT_HEURISTICS - Aiconfig::INT_FIRST]);
1197
@@ -675,9 +675,9 @@
1198
                 = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1199
                                                  Gtk::ALIGN_CENTER,
1200
                                                  0, 0));
1201
-              alignment->set_border_width(1 em);
1202
+              alignment->set_border_width(1 EM);
1203
 
1204
-              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
1205
+              Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
1206
 
1207
               vbox->add(*this->type_card[Aiconfig::LIMITTHROWING - Aiconfig::CARD_FIRST]);
1208
               vbox->add(*this->type_card[Aiconfig::TRUMPLIMIT_NORMAL - Aiconfig::CARD_FIRST]);
1209
@@ -696,10 +696,10 @@
1210
                 = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1211
                                                  Gtk::ALIGN_CENTER,
1212
                                                  0, 0));
1213
-              alignment->set_border_width(1 em);
1214
+              alignment->set_border_width(1 EM);
1215
               Gtk::Table* table = Gtk::manage(new Gtk::Table(1, 3, false));
1216
-              table->set_row_spacings(1 ex / 2);
1217
-              table->set_col_spacings(1 em / 2);
1218
+              table->set_row_spacings(1 EX / 2);
1219
+              table->set_col_spacings(1 EM / 2);
1220
               { // the table
1221
                 Gtk::Label* label;
1222
                 Gtk::Alignment* alignment;
1223
@@ -715,7 +715,7 @@
1224
                                             ::translation("AiConfig::CardLimit::Group::lowest trump limit"));
1225
                 table->attach(*label, 2, 3, row, row + 1);
1226
                 row += 1;
1227
-                table->set_row_spacing(0, 3 ex / 2);
1228
+                table->set_row_spacing(0, 3 EX / 2);
1229
                 // color solo
1230
                 table->resize(row + 1, 3);
1231
                 label = Gtk::manage(new Gtk::Label("color solo"));
1232
@@ -1140,7 +1140,7 @@
1233
           Gtk::Alignment* alignment
1234
             = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1235
                                              Gtk::ALIGN_CENTER));
1236
-          alignment->set_border_width(1 ex);
1237
+          alignment->set_border_width(1 EX);
1238
           alignment->add(default_button);
1239
           box->pack_start(*alignment, Gtk::PACK_SHRINK);
1240
         } // if (key != HeuristicsMap::Key::DEFAULT)
1241
@@ -1203,8 +1203,8 @@
1242
         } // treeview
1243
         { // right column
1244
           Gtk::Box* box3
1245
-            = Gtk::manage(new Gtk::VBox(false, 1 ex));
1246
-          box3->set_border_width(1 ex);
1247
+            = Gtk::manage(new Gtk::VBox(false, 1 EX));
1248
+          box3->set_border_width(1 EX);
1249
           { // move up/down buttons
1250
             Gtk::Alignment* alignment
1251
               = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_LEFT,
1252
@@ -1213,7 +1213,7 @@
1253
 
1254
             Gtk::Box* button_box
1255
               = Gtk::manage(new Gtk::VButtonBox(Gtk::BUTTONBOX_DEFAULT_STYLE,
1256
-                                                1 ex));
1257
+                                                1 EX));
1258
 
1259
             this->heuristic_up_button[key]
1260
               = Gtk::manage(new Gtk::StockButton(Gtk::Stock::GO_UP, "up"));
1261
Index: src/ui/gtkmm/players.cpp
1262
===================================================================
1263
--- ui/gtkmm/players.cpp	(revision 1647)
1264
+++ ui/gtkmm/players.cpp	(working copy)
1265
@@ -129,8 +129,8 @@
1266
 
1267
       { // set default size
1268
 	Gdk::Geometry geometry;
1269
-	geometry.min_width = 70 ex;
1270
-	geometry.min_height = 10 ex;
1271
+	geometry.min_width = 70 EX;
1272
+	geometry.min_height = 10 EX;
1273
 
1274
 	this->set_geometry_hints(*this, geometry, Gdk::HINT_MIN_SIZE);
1275
       } // set default size
1276
@@ -159,7 +159,7 @@
1277
 	  for (unsigned p = 0; p < ::party.playerno(); ++p) {
1278
 	    Players::Player& player = this->player(p);
1279
 
1280
-	    Gtk::VBox* player_box = Gtk::manage(new Gtk::VBox(false, 3 ex / 2));
1281
+	    Gtk::VBox* player_box = Gtk::manage(new Gtk::VBox(false, 3 EX / 2));
1282
 
1283
 	    this->players_notebook->append_page(*player_box,
1284
 						*(player.name_label));
1285
@@ -170,7 +170,7 @@
1286
 						 Gtk::ALIGN_CENTER,
1287
 						 0, 0));
1288
 	      player_box->pack_end(*alignment, false, true);
1289
-	      alignment->set_border_width(1 ex / 2);
1290
+	      alignment->set_border_width(1 EX / 2);
1291
 	      Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(true, 0));
1292
 	      alignment->add(*hbox);
1293
 	      { // reset button
1294
@@ -204,8 +204,8 @@
1295
 						 0, 0));
1296
 	      player_notebook.back()->append_page(*alignment, *general_label);
1297
 
1298
-	      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 ex));
1299
-	      vbox->set_border_width(1 ex);
1300
+	      Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 2 EX));
1301
+	      vbox->set_border_width(1 EX);
1302
 	      alignment->add(*vbox);
1303
 
1304
 	      { // the name widgets
1305
@@ -250,7 +250,7 @@
1306
 						   0, 0)); 
1307
 		vbox->add(*alignment);
1308
 
1309
-		Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
1310
+		Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
1311
 		alignment->add(*vbox);
1312
 
1313
 		for (vector<Gtk::RadioButton*>::iterator type
1314
@@ -609,11 +609,11 @@
1315
       Gtk::Alignment* alignment
1316
 	= Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_LEFT, Gtk::ALIGN_TOP,
1317
 					 0, 0));
1318
-      alignment->set_border_width(1 ex / 2);
1319
+      alignment->set_border_width(1 EX / 2);
1320
 
1321
       table->attach(*alignment, 0, 1, current_row, current_row + 1,
1322
 		    Gtk::FILL | Gtk::EXPAND, Gtk::SHRINK,
1323
-		    depth em);
1324
+		    depth EM);
1325
 
1326
       Gtk::CheckButton* group_button
1327
 	= Gtk::manage(new Gtk::CheckButton(name));
1328
@@ -680,8 +680,8 @@
1329
 						      true));
1330
       table->attach(*table2, 1, 2, current_row, current_row + 1,
1331
 		    Gtk::FILL | Gtk::EXPAND, Gtk::SHRINK);
1332
-      table2->set_col_spacings(1 em / 2);
1333
-      table2->set_row_spacing(0, 1 ex / 2);
1334
+      table2->set_col_spacings(1 EM / 2);
1335
+      table2->set_row_spacing(0, 1 EX / 2);
1336
 
1337
       for (unsigned p = 0; p < ::party.playerno(); ++p) {
1338
 	Gtk::Alignment* alignment
1339
@@ -689,7 +689,7 @@
1340
 					   1, 0));
1341
 	table2->attach(*alignment, p, p + 1, 0, 1,
1342
 		       Gtk::FILL | Gtk::EXPAND, Gtk::SHRINK,
1343
-		       0, 1 ex / 4);
1344
+		       0, 1 EX / 4);
1345
 
1346
 	Gtk::Widget* widget = NULL;
1347
 	if ((type >= Aiconfig::BOOL_FIRST)
1348
Index: src/ui/gtkmm/card_suggestion.cpp
1349
===================================================================
1350
--- ui/gtkmm/card_suggestion.cpp	(revision 1647)
1351
+++ ui/gtkmm/card_suggestion.cpp	(working copy)
1352
@@ -154,7 +154,7 @@
1353
 
1354
         this->card_image = this->ui->cards->new_managed_image();
1355
         this->card_box->add(*this->card_image);
1356
-        this->card_image->set_padding(2 em, 2 ex);
1357
+        this->card_image->set_padding(2 EM, 2 EX);
1358
         this->rationals_text = Gtk::manage(new Gtk::Label("Thinking, please wait."));
1359
         this->ui->translations->add(*this->rationals_text,
1360
                                     ::translation("Thinking, please wait."));
1361
Index: src/ui/gtkmm/constants.h
1362
===================================================================
1363
--- ui/gtkmm/constants.h	(revision 1647)
1364
+++ ui/gtkmm/constants.h	(working copy)
1365
@@ -62,10 +62,10 @@
1366
 
1367
 // used for:
1368
 // * border in notebooks
1369
-#define em * 18
1370
+#define EM * 18
1371
 // used for:
1372
 // * spacing in boxes
1373
-#define ex * 12
1374
+#define EX * 12
1375
 
1376
 #endif // #ifdef USE_UI_GTKMM
1377
 
1378
Index: src/ui/gtkmm/changelog.cpp
1379
===================================================================
1380
--- ui/gtkmm/changelog.cpp	(revision 1647)
1381
+++ ui/gtkmm/changelog.cpp	(working copy)
1382
@@ -151,7 +151,7 @@
1383
 	Gtk::Alignment* alignment
1384
 	  = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER, Gtk::ALIGN_CENTER,
1385
 					   0, 0));
1386
-	alignment->set_border_width(2 ex);
1387
+	alignment->set_border_width(2 EX);
1388
 	//this->get_vbox()->pack_start(*alignment, false, true);
1389
 
1390
 	Gtk::TextView* const title_text = Gtk::manage(new Gtk::TextView());
1391
Index: src/ui/gtkmm/full_trick.cpp
1392
===================================================================
1393
--- ui/gtkmm/full_trick.cpp	(revision 1647)
1394
+++ ui/gtkmm/full_trick.cpp	(working copy)
1395
@@ -127,7 +127,7 @@
1396
       } // action area
1397
 
1398
       { // vbox
1399
-        this->get_vbox()->set_spacing(1 ex);
1400
+        this->get_vbox()->set_spacing(1 EX);
1401
 
1402
         this->trick_summary = new TrickSummary(this, false);
1403
 
1404
@@ -134,7 +134,7 @@
1405
         this->get_vbox()->add(*this->trick_summary);
1406
 
1407
         this->winnercard = this->ui->cards->new_managed_image();
1408
-        this->winnercard->set_padding(2 em, 2 ex);
1409
+        this->winnercard->set_padding(2 EM, 2 EX);
1410
         this->trick_summary->pack_start(*this->winnercard);
1411
       } // vbox
1412
 
1413
Index: src/ui/gtkmm/utils.cpp
1414
===================================================================
1415
--- ui/gtkmm/utils.cpp	(revision 1647)
1416
+++ ui/gtkmm/utils.cpp	(working copy)
1417
@@ -158,7 +158,7 @@
1418
       = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_LEFT,
1419
 				       Gtk::ALIGN_CENTER,
1420
 				       0, 0));
1421
-    alignment->set_property("left_padding", level em);
1422
+    alignment->set_property("left_padding", level EM);
1423
     alignment->add(widget);
1424
     return alignment;
1425
   } // Gtk::Alignment* indent(Gtk::Widget& widget, unsigned level = 1)
1426
Index: src/ui/gtkmm/players_db.cpp
1427
===================================================================
1428
--- ui/gtkmm/players_db.cpp	(revision 1647)
1429
+++ ui/gtkmm/players_db.cpp	(working copy)
1430
@@ -196,15 +196,15 @@
1431
 
1432
 
1433
       { // vbox
1434
-        Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 em));
1435
+        Gtk::HBox* hbox = Gtk::manage(new Gtk::HBox(false, 1 EM));
1436
         this->get_vbox()->add(*hbox);
1437
         { // statistic type
1438
           Gtk::Alignment* alignment
1439
             = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_LEFT, Gtk::ALIGN_TOP,
1440
                                              0, 0));
1441
-          alignment->set_border_width(1 ex);
1442
+          alignment->set_border_width(1 EX);
1443
           hbox->add(*alignment);
1444
-          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 ex / 2));
1445
+          Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox(false, 1 EX / 2));
1446
           alignment->add(*vbox);
1447
 
1448
           Gtk::RadioButton::Group statistic_group;
1449
Index: src/ui/gtkmm/preferences.cards_order.cpp
1450
===================================================================
1451
--- ui/gtkmm/preferences.cards_order.cpp	(revision 1647)
1452
+++ ui/gtkmm/preferences.cards_order.cpp	(working copy)
1453
@@ -63,7 +63,7 @@
1454
     Preferences::init_cardsorder()
1455
     {
1456
       Gtk::VBox* vbox = this->add_group_vbox("cards order");
1457
-      vbox->set_border_width(2 ex);
1458
+      vbox->set_border_width(2 EX);
1459
 
1460
       { // the cards
1461
 	Gtk::Table* table
1462
Index: src/misc/setting.cpp
1463
===================================================================
1464
--- misc/setting.cpp	(revision 1647)
1465
+++ misc/setting.cpp	(working copy)
1466
@@ -223,6 +223,7 @@
1467
 
1468
   this->set(AUTOMATIC_SAVINGS,          true);
1469
   this->set(SAVE_PARTY_CHANGES,		true);
1470
+  this->set(ADDITIONAL_PARTY_SETTINGS,	false);
1471
 
1472
 
1473
   this->set(LANGUAGE,			"");
1474
@@ -1146,6 +1147,8 @@
1475
     return true;
1476
   case SAVE_PARTY_CHANGES:
1477
     return (*this)(AUTOMATIC_SAVINGS);
1478
+  case ADDITIONAL_PARTY_SETTINGS:
1479
+    return true;
1480
   case SHOW_SPLASH_SCREEN:
1481
     return true;
1482
   case SPLASH_SCREEN_TRANSPARENT:
1483
@@ -3200,6 +3203,8 @@
1484
     return "automatic savings";
1485
   case Setting::SAVE_PARTY_CHANGES:
1486
     return "save party changes";
1487
+  case Setting::ADDITIONAL_PARTY_SETTINGS:
1488
+    return "additional party settings";
1489
   case Setting::SHOW_SPLASH_SCREEN:
1490
     return "show splash screen";
1491
   case Setting::SPLASH_SCREEN_TRANSPARENT:
1492
Index: src/misc/setting.h
1493
===================================================================
1494
--- misc/setting.h	(revision 1647)
1495
+++ misc/setting.h	(working copy)
1496
@@ -63,6 +63,7 @@
1497
       // save nothing (automatically)
1498
       AUTOMATIC_SAVINGS = BOOL_FIRST,
1499
       SAVE_PARTY_CHANGES,
1500
+      ADDITIONAL_PARTY_SETTINGS,
1501
       SHOW_SPLASH_SCREEN,
1502
       SPLASH_SCREEN_TRANSPARENT,
1503
       SHOW_BUG_REPORT_BUTTON_IN_GAME_FINISHED_WINDOW,
1504
--- ui/gtkmm/dokolounge/lounge.cpp.orig	2013-12-07 14:04:22.000000000 +0100
1505
+++ ui/gtkmm/dokolounge/lounge.cpp	2014-10-01 22:08:18.939094067 +0200
1506
@@ -238,7 +238,7 @@
1507
                                                         ::setting(Setting::DOKOLOUNGE_NAME))
1508
                                         + "</b>");
1509
             //this->name->set_markup("<b><big>Name</big></b>");
1510
-            this->get_vbox()->pack_start(*this->name, Gtk::PACK_SHRINK, 2 ex);
1511
+            this->get_vbox()->pack_start(*this->name, Gtk::PACK_SHRINK, 2 EX);
1512
           } // name
1513
           { // buttons
1514
             Gtk::HBox* box = Gtk::manage(new Gtk::HBox(true, 0));
1515
--- ui/gtkmm/ui.init.cpp.orig	2013-12-07 14:04:22.000000000 +0100
1516
+++ ui/gtkmm/ui.init.cpp	2014-10-01 22:09:32.630089195 +0200
1517
@@ -358,11 +358,11 @@
1518
         int const width_hint = static_cast<int>(7 * this->cards->height());
1519
         int const height_hint = static_cast<int>(6 * this->cards->height());
1520
         int const width = std::min(width_hint,
1521
-                                   Gdk::Screen::get_default()->get_width() - 2 em);
1522
+                                   Gdk::Screen::get_default()->get_width() - 2 EM);
1523
         int const height = std::min(height_hint,
1524
-                                    Gdk::Screen::get_default()->get_height() - 2 ex);
1525
+                                    Gdk::Screen::get_default()->get_height() - 2 EX);
1526
         this->main_window->set_default_size(width, height);
1527
-        //this->main_window->set_default_size(width_hint - 1 em, height_hint - 1 ex);
1528
+        //this->main_window->set_default_size(width_hint - 1 em, height_hint - 1 EX);
1529
       } // set the size of the main window
1530
 
1531
       Gtk::Window::set_auto_startup_notification(true);
1532
--- ui/gtkmm/game_summary.cpp.orig	2013-12-07 14:04:22.000000000 +0100
1533
+++ ui/gtkmm/game_summary.cpp	2014-10-01 22:10:09.284076508 +0200
1534
@@ -115,14 +115,14 @@
1535
   void
1536
     GameSummary::init()
1537
     {
1538
-      this->set_border_width(1 em);
1539
-      this->set_spacing(1 em);
1540
+      this->set_border_width(1 EM);
1541
+      this->set_spacing(1 EM);
1542
 
1543
       { // left column
1544
       Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox());
1545
 
1546
-      vbox->set_border_width(1 ex);
1547
-      vbox->set_spacing(1 ex);
1548
+      vbox->set_border_width(1 EX);
1549
+      vbox->set_spacing(1 EX);
1550
 
1551
       this->add(*vbox);
1552
 
1553
@@ -192,7 +192,7 @@
1554
           = Gtk::manage(new Gtk::Alignment(Gtk::ALIGN_CENTER,
1555
                                            Gtk::ALIGN_CENTER,
1556
                                            0, 1));
1557
-        alignment->set_border_width(1 ex);
1558
+        alignment->set_border_width(1 EX);
1559
         alignment->add(*this->bock_triggers_treeview);
1560
         vbox->pack_start(*alignment, false, true);
1561
       } // bock triggers
1562
@@ -201,8 +201,8 @@
1563
       { // right column
1564
       Gtk::VBox* vbox = Gtk::manage(new Gtk::VBox());
1565
 
1566
-      vbox->set_border_width(1 ex);
1567
-      vbox->set_spacing(1 ex);
1568
+      vbox->set_border_width(1 EX);
1569
+      vbox->set_spacing(1 EX);
1570
 
1571
       this->add(*vbox);
1572
 

Return to bug 197431