From 855079b438637e2d700821f6138dce1a738b1dc5 Mon Sep 17 00:00:00 2001
From: Starbeamrainbowlabs <sbrl@starbeamrainbowlabs.com>
Date: Fri, 23 Dec 2016 18:36:23 +0000
Subject: [PATCH] Put space into settings

---
 core.php                  | 2 +-
 peppermint.guiconfig.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/core.php b/core.php
index eadd389..7404ebc 100644
--- a/core.php
+++ b/core.php
@@ -1059,7 +1059,7 @@ class page_renderer
 						{
 							$result .= "<span class='inflexible logged-in" . ($env->is_logged_in ? " moderator" : " normal-user") . "'>";
 							if(module_exists("feature-user-preferences")) {
-								$result .= "<a href='?action=user-preferences'>$settings->user_preferences_button_text</a> ";
+								$result .= "<a href='?action=user-preferences'>$settings->user_preferences_button_text</a>";
 							}
 							$result .= self::render_username($env->user) . " <small>(<a href='index.php?action=logout'>Logout</a>)</small>";
 							$result .= "</span>";
diff --git a/peppermint.guiconfig.json b/peppermint.guiconfig.json
index 11a4540..a3fa801 100644
--- a/peppermint.guiconfig.json
+++ b/peppermint.guiconfig.json
@@ -30,7 +30,7 @@
 	}},
 	"admins": {"type": "array", "description": "An array of usernames that are administrators. Administrators can delete and move pages.", "default": [ "admin" ]},
 	"anonymous_user_name": { "type": "text", "description": "The default name for anonymous users.", "default": "Anonymous" },
-	"user_preferences_button_text": { "type": "text", "description": "The text to display on the button that lets logged in users chang  their settings. Defaults to a cog (aka a 'gear' in unicode-land).", "default": "&#x2699;" },
+	"user_preferences_button_text": { "type": "text", "description": "The text to display on the button that lets logged in users chang  their settings. Defaults to a cog (aka a 'gear' in unicode-land).", "default": "&#x2699; " },
 	"use_sha3": {"type": "checkbox", "description": "Whether to use the new sha3 hashing algorithm for passwords etc.", "default": false },
 	"require_login_view": {"type": "checkbox", "description": "Whether to require that users login before they do anything else. Best used with the data_storage_dir option.", "default": false},
 	"data_storage_dir": {"type": "text", "description": "The directory in which to store all files, except the main index.php.", "default": "."},