Clarified installation steps, borrowing from the Galaxy API readme (settings_local.js is expected to exist before running)
Github’d the readme code
Implemented basic user settings page (issue #7). Added a settings link to the header, adjacent to the user profile (borrowed a gear icon from zamboni for that)
Open Gravatar page for editing avatar in a separate tab / window
Highlight settings gear on hover
Localized “email:” field in user settings, and fixed style issues (sort CSS alphabetically, move CSS variables to top level)
Fixed CSS order and a typo with localizing ‘email’ in settings page
Localize “not signed in” message on settings page
Fixed settings cog in header not being positioned correctly when the username is shorter than the logout button’s text
Attempt at converting settings page to a form with editable username and email
Fixed hacky form layout
Fixed user info in header not being vertically centred in Firefox (not sure why display: table-cell was needed, but removing it appears to have no other effects)
Fixed form validation being one keystroke behind the user’s input, by listening for the `oninput` event instead (which is more elegant and is supported by the latest versions of all major browsers)
Cleaned up CSS for settings page, fixed a couple browser-specific bugs, and marked both email and username as being required fields (so that validation can function correctly)
Implemented logic to submit profile settings changes, which also updates local storage, reloads the page, and notifies the user on success
Style fixes, better error logging, cleaned up HTML markup on input fields
Removed a reference to `$this` upon successfully updating the user’s profile that would be destroyed after reloading the page (it wasn’t needed anyway)
Removed unnecessary uses of `href=“#”` in header
Enable Google Analytics Usage
Set the ga_tracking_id to null