ERLOG 2018-12-10

The below can be used to save the settings to a file or load them from a file. Useful if you want to transfer the settings between devices or feel better editing the settings by hand. Settings are stored as a cookie in your browser.

The below is a unique name for your settings. If you update your settings on one device, all other devices with the same name should be updated. This is done by checking if the stored cookie has an update date later than your current cookie. If you change the name, then the update date will be set to 0 so that an attempt will be made to load the latest data from the database.

Pushing the button below will register your browser and cookie ID so that you will receive push notifications. This happens automatically when loading the page, it is merely left here as a debug tool.

The below can be used to set an offset in minutes to alter the displayed timestamp. So, for example, someone in CST (which is UTC-6) will use an offset of -6*60=-360. Autodetect should find your offset automatically using javascript.

Check the below if you want the logs to attempt to render links in a pretty manner

The below can be used to set a colour for each user's name, overriding the automatically generated colours. Saved colours are displayed in order of priority. Notify allows you to receive push notifications for replies mentioning that name.