-
Notifications
You must be signed in to change notification settings - Fork 51
/
mkdocs.yml
134 lines (125 loc) · 3.85 KB
/
mkdocs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
site_name: MPS Extensions
theme:
name: 'material'
palette:
- primary: blue grey
- accent: indigo
logo: assets/logo.png
favicon: assets/favicon.png
features:
- navigation.top
- navigation.instant
- navigation.tracking
- navigation.expand
- navigation.tabs
- navigation.tabs.sticky
- navigation.footer
- header.autohide
- content.code.annotate
- search.suggest
- search.highlight
- search.share
- announce.dismiss
- content.code.copy
- toc.integrate
site_description: MPS-extensions
site_url: https://jetbrains.github.io/MPS-extensions/
repo_url: https://github.com/jetbrains/mps-extensions
repo_name: mps-extensions
plugins:
- search
- autolinks
- autolink_references:
autolinks:
- reference_prefix: MPS-
target_url: https://youtrack.jetbrains.com/issue/MPS-<num>
- reference_prefix: IDEABKL-
target_url: https://youtrack.jetbrains.com/issue/IDEABKL-<num>
- reference_prefix: JBR-
target_url: https://youtrack.jetbrains.com/issue/JBR-<num>
- reference_prefix: IDEA-
target_url: https://youtrack.jetbrains.com/issue/IDEA-<num>
- reference_prefix: IJSDK-
target_url: https://youtrack.jetbrains.com/issue/IJSDK-<num>
- reference_prefix: MPS_EXT-
target_url: https://github.com/JetBrains/MPS-extensions/issues/<num>
markdown_extensions:
- abbr
- smarty
- admonition
- codehilite:
guess_lang: false
- footnotes
- meta
- def_list
- toc:
permalink: true
- pymdownx.betterem:
smart_enable: all
- pymdownx.inlinehilite
- pymdownx.magiclink
- pymdownx.smartsymbols
- pymdownx.superfences
- pymdownx.details
- pymdownx.highlight:
linenums: true
anchor_linenums: true
- pymdownx.inlinehilite
- pymdownx.snippets
- pymdownx.tabbed:
alternate_style: true
- pymdownx.keys
- pymdownx.caret
- pymdownx.critic
- pymdownx.mark
- pymdownx.tilde
- attr_list
- pymdownx.tasklist:
custom_checkbox: true
clickable_checkbox: true
- md_in_html
- pymdownx.magiclink:
repo_url_shorthand: true
social_url_shorthand: true
- pymdownx.arithmatex:
generic: true
nav:
- Home: index.md
- Building: building.md
- Contributing: contributing.md
- Migrating: migrating.md
- Adding: adding.md
- Full Extension List: extensions/full_extensions_list.md
- Editor extensions:
- Cell Layout: extensions/editor/celllayout.md
- Conditional Editor: extensions/editor/conditional-editor.md
- Diagrams: extensions/editor/diagrams.md
- Grammar Cells: extensions/editor/grammar-cells.md
- Math: extensions/editor/math.md
- Intentions for custom selections: extensions/editor/mouse-selection.md
- Multiline: extensions/editor/multiline.md
- Query List: extensions/editor/querylist.md
- Richtext: extensions/editor/richtext.md
- Tables: extensions/editor/tables.md
- Tree Notation: extensions/editor/tree-notation.md
- Widgets: extensions/editor/widgets.md
- Other extensions:
- Base Language Extensions:
- Structure Check: extensions/bl-extensions/structure-check.md
- Base Language Util (blutil): extensions/bl-extensions/blutil.md
- Generator:
- Plaintext Generator: extensions/generator/plaintext-gen.md
- Other:
- Language Visualizer: extensions/other/langvis.md
- Project View: extensions/other/project-view.md
- Shadow Models: extensions/other/shadow-models.md
- Stubs: extensions/stubs.md
- Utilities:
- Intentions Menu: extensions/utils/intentions-menu.md
- Model Listener: extensions/utils/model-listener.md
- Hacks: extensions/utils/hacks.md
- Model Merger: extensions/utils/model-merger.md
- Node Versioning: extensions/utils/node-versioning.md
- Serializer: extensions/utils/serializer.md
extra_css:
- stylesheets/extra.css