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

15 commits

Author SHA1 Message Date
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