--- a/jv_vdb.st	Wed Oct 03 15:52:44 2018 +0100
+++ b/jv_vdb.st	Thu Oct 04 10:51:17 2018 +0100
@@ -161,6 +161,8 @@
         UserPreferences vdbPrettyPrintingEnabled:
         GDBDebugger targetConnectRR:
         GDBDebugger onRRExitEvent:
+        UserPreferences vdbDebuggerLayout
+        UserPreferences vdbDebuggerLayout:
     )
 ! !