2020-12-21 13:02:19 +01:00
|
|
|
- ENHANCEMENT
|
2020-12-21 13:26:54 +01:00
|
|
|
- Rework search as a dropdown list #38 (@LukasHirt)
|
|
|
|
|
- Use option `geekdocSearchShowParent` to group search results by parent #38 (@LukasHirt).
|
|
|
|
|
This is changing the current behavior of prefixing search results with the parent by
|
|
|
|
|
grouped nested lists.
|
2020-12-22 13:45:25 +01:00
|
|
|
- Add `ok` color option for `hint` shortcode
|
