|
|
855079b438
|
Put space into settings
|
2016-12-23 18:36:23 +00:00 |
|
|
|
c4796c57bd
|
Add user preferences button next to username
|
2016-12-23 18:18:39 +00:00 |
|
|
|
7ba0d62cc8
|
Update users object to support storing arbitrary data.
|
2016-12-12 18:38:26 +00:00 |
|
|
|
9629ddd232
|
Add link to random page in more menu
|
2016-12-08 20:37:19 +00:00 |
|
|
|
44e2348ab2
|
Add initial dynamic page suggestions. Works better in Firefox than chrome - implements idea in #113
|
2016-11-20 13:24:35 +00:00 |
|
|
|
e5d56badf3
|
Finish gui settings display. Currently it doesn't read them back in again.
|
2016-10-30 10:50:38 +00:00 |
|
|
|
763e174fd8
|
Clarify CSS url feature in guiconfig.
|
2016-10-18 19:08:34 +01:00 |
|
|
|
6476877c60
|
Attempted to implement Opensearch (#112), but it doesn't work :/
|
2016-10-18 18:57:24 +01:00 |
|
|
|
0ade04c3bb
|
Set the expiry on the session cookie. Fixes #113.\nThis commit adds a new settings property, 'sessionlifetime', so we need to add in #83 now.
|
2016-10-18 18:57:14 +01:00 |
|
|
|
0253ab6c0e
|
Moved history logic to core & tied it in with $env.
Also fixed a few bugs in view & upgraded the display mode.
|
2016-10-18 18:34:27 +01:00 |
|
|
|
ad6a12da5b
|
Finish initial settings rewrite
|
2016-06-22 09:13:32 +01:00 |
|
|
|
01bdf96d2d
|
Begin work on reworking the settings.
|
2016-06-12 21:06:27 +01:00 |
|
|
|
0c47056fc8
|
Created initial guiconfig file.
|
2016-06-11 16:48:43 +01:00 |
|
