You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# End user relevant links. These will show up on left side of footer and in the community page if you have one.
29
+
# Footer Links
30
+
#
31
+
# user: End user relevant links. These will show up on
32
+
# left side of footer and in the community page if you have one.
33
+
# name: displayed when moused over
34
+
# url: url to use when selected
35
+
# desc: description
36
+
# icon: icon to display
13
37
links:
14
38
user:
15
39
- name: "User mailing list"
@@ -25,7 +49,8 @@ links:
25
49
# icon: "fab fa-stack-overflow"
26
50
# desc: "Practical questions and curated answers"
27
51
28
-
# Developer relevant links. These will show up on right side of footer and in the community page if you have one.
52
+
# developer: Developer relevant links. These will show up on right
53
+
# side of footer and in the community page if you have one.
29
54
developer:
30
55
- name: "On GitHub"
31
56
url: "https://github.com/interlisp"
@@ -44,14 +69,23 @@ taxonomy:
44
69
# Nothing defined
45
70
46
71
# User Interface Configuration options
72
+
#
73
+
# feedback:
74
+
# Adds a H2 section titled "Feedback" to the bottom of each doc. The responses
75
+
# are sent to Google Analytics as events. This feature depends
76
+
# on [services.googleAnalytics] and will be disabled if
77
+
# "services.googleAnalytics.id" is not set.
78
+
#
79
+
# If you want this feature, but occasionally need to remove the
80
+
# "Feedback" section from a single page,
81
+
# add "hide_feedback: true" to the page's front matter.
82
+
# enable: boolean Turn feedback
83
+
# yes: text to display with yes is selected
84
+
# no: text to display when no is selected
85
+
47
86
ui:
48
-
# Adds a H2 section titled "Feedback" to the bottom of each doc. The responses are sent to Google Analytics as events.
49
-
# This feature depends on [services.googleAnalytics] and will be disabled if "services.googleAnalytics.id" is not set.
50
-
# If you want this feature, but occasionally need to remove the "Feedback" section from a single page,
51
-
# add "hide_feedback: true" to the page's front matter.
52
87
feedback:
53
88
enable: true
54
-
# The responses that the user sees after clicking "yes" (the page was helpful) or "no" (the page was not helpful).
55
89
yes: 'Glad to hear it! Please <a href="https://github.com/Interlisp/medley/issues/new?template=documentation.md&projects=Interlisp/medley/5">tell us how we can improve</a>.'
56
90
no: 'Sorry to hear that. Please <a href="https://github.com/Interlisp/medley/issues/new?template=documentation.md&projects=Interlisp/medley/5">tell us how we can improve</a>.'
57
91
@@ -73,6 +107,12 @@ ui:
73
107
74
108
# Set to true to hide the sidebar search box (the top nav search box will still be displayed if search is enabled)
75
109
sidebar_search_disable: false
110
+
# Sidebar generation is slow otherwise
111
+
sidebar_cache_limit: 100
112
+
113
+
# We have almost 200 attributes; don't truncate the sidebar to max 50 contents.
114
+
sidebar_menu_truncate: 1000
115
+
76
116
# Set to true to disable breadcrumb navigation.
77
117
breadcrumb_disable: false
78
118
@@ -81,8 +121,3 @@ ui:
81
121
82
122
ul_show: 3
83
123
84
-
# Sidebar generation is slow otherwise
85
-
sidebar_cache_limit: 100
86
-
87
-
# We have almost 200 attributes; don't truncate the sidebar to max 50 contents.
0 commit comments