1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-22 16:33:00 +00:00
Commit graph

21 commits

Author SHA1 Message Date
6e3ec4863b
master settings page: fix invalid HTML that was causing layout issues
....especially when using the photo theme.
2020-05-09 15:43:12 +01:00
b4c0782e58
bool -> boolean 2020-01-05 20:59:21 +00:00
a0d28c280f
Bump version of modules 2019-10-20 16:01:13 +01:00
cc5f7561b0
Add reset to internal default theme button, but there's some weirdness going on. 2019-10-20 01:19:35 +01:00
988038f599
Add link to theme gallery in master settings 2019-09-29 15:42:48 +01:00
edf1be5801
Fix a *huge* number of bugs in the new search system, but it's not ready just yet 2019-08-22 21:38:17 +01:00
e37541d606
Add a more obvious link to the user table at the top of the master settings page 2019-05-11 12:44:28 +01:00
5b670f5981
Refactor method names in page renderer 2019-01-27 22:56:51 +00:00
b367ef42b0
Fix typo 2018-05-15 17:59:43 +01:00
f95e482d85
Link to usertable in guiconfig 2018-05-13 23:37:26 +01:00
407d383a12
Added commit hash to debug & configure actions 2018-04-22 17:52:57 +01:00
79f1ae211e
Add title hint to rebuild search index button 2018-04-07 13:51:41 +01:00
d1a10207d1
Made rebuilding search idnex progress bar fill up completely when done 2018-04-07 13:47:39 +01:00
1236ce8e4d Add search index rebuilding action to master settings screen 2017-07-11 20:21:20 +01:00
8404b0cec6 Default to snippet from the page source in search result context generation - some pages may appear when the search terms appear only in the title or tags, and not the page source. 2017-03-20 20:08:56 +00:00
86ebcf57a0 Link to master settings from user preferences for admins 2017-03-20 19:57:50 +00:00
16f5e8fa2c Improve settings configuration UI text 2016-12-11 19:28:03 +00:00
d4fe19d1ed Begin wiring up settings gui & create settings object generator. 2016-12-11 18:52:53 +00:00
e5d56badf3 Finish gui settings display. Currently it doesn't read them back in again. 2016-10-30 10:50:38 +00:00
2eacd31577 Add additional types to gui generator. 2016-10-18 19:08:46 +01:00
286f2b72f0 Start work on gui by creating module & setting things up. 2016-10-18 19:08:34 +01:00