diff --git a/headers/private/servers/app/DisplayDriver.h b/headers/private/servers/app/DisplayDriver.h
index d981c92443..9aa049c561 100644
--- a/headers/private/servers/app/DisplayDriver.h
+++ b/headers/private/servers/app/DisplayDriver.h
@@ -129,7 +129,8 @@ public:
 	~FBBitmap(void) { }
 	void SetBytesPerRow(const int32 &bpr) { _bytesperrow=bpr; }
 	void SetSpace(const color_space &space) { _space=space; }
-//!!! WARNING !!! - for some reason ServerBitmap adds 1 to the width and height. We do that also.
+	
+	// WARNING: - for some reason ServerBitmap adds 1 to the width and height. We do that also.
 	void SetSize(const int32 &w, const int32 &h) { _width=w+1; _height=h+1; }
 	void SetBuffer(void *ptr) { _buffer=(uint8*)ptr; }
 	void SetBitsPerPixel(color_space space,int32 bytesperline) { _HandleSpace(space,bytesperline); }
diff --git a/headers/private/servers/app/ServerConfig.h b/headers/private/servers/app/ServerConfig.h
index 81e3815835..ecc70261a6 100644
--- a/headers/private/servers/app/ServerConfig.h
+++ b/headers/private/servers/app/ServerConfig.h
@@ -54,6 +54,9 @@
 // by the various font functions.
 #define SERVER_FONT_LIST "/boot/home/config/settings/app_server/fontlist"
 
+// Flattened list of BMessages containing data for each workspace
+#define WORKSPACE_DATA_LIST "/boot/home/config/settings/app_server/workspace_settings"
+
 // folder used to keep saved color sets for the UI - tab color, etc.
 #define COLOR_SET_DIR "/boot/home/config/settings/color_sets/"