From 7083a4c4508d68d18dc0427a0f0f86df3f1009c7 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Wed, 16 Nov 2016 00:22:22 -0500 Subject: stuff --- enhancers.txt | 31 +++++++++++++++++++++---------- 1 file changed, 21 insertions(+), 10 deletions(-) (limited to 'enhancers.txt') diff --git a/enhancers.txt b/enhancers.txt index d70a5f8..842bf5b 100644 --- a/enhancers.txt +++ b/enhancers.txt @@ -1,6 +1,21 @@ --boundary X-Thing: Pattern +inode/directory +--boundary +X-Thing: Head + +--boundary +X-Thing: Tail + + +--boundary +X-Thing: Pattern + text/markdown --boundary X-Thing: Head @@ -22,21 +37,17 @@ X-Thing: Tail var tip = document.createElement('aside'); tip.innerHTML = '

Tip: To set the page title (what appears in the tab '+ - 'name/window bar), put this at the top of the page:

\n'+ + 'name/window bar), but not have it appear as a header on the page, put '+ + 'this at the top:

\n'+ '
---\ntitle: "Your Title Here"\n---\n
\n'+ - '

(I apologize that it looks funny on this page and in the '+ - 'preview.)

\n'+ - - '

Otherwise, the first line will be used as the title. This means '+ - 'that if you want the title to also appear at the top of the document, '+ - 'you can instead use:

\n'+ - '

Your Title Here\n===============\n
\n'+ - '

which will also include it as a heading at the top of the page.

'; + '

To set the page title, and have it appear as a header on the page, '+ + 'put this at the top:

\n'+ + '

Your Title Here\n===============\n
\n'; container.appendChild(tip); - // bug workaround from https://github.com/codemirror/CodeMirror/issues/2143#issuecomment-140100969 + // workaround from https://github.com/codemirror/CodeMirror/issues/2143#issuecomment-140100969 var updateSectionHeaderStyles = function(cm, change) { var lines = cm.lineCount(); for (var i = Math.max(0, change.from.line-1); i <= Math.min(change.to.line+1, lines-1); i++) { -- cgit v1.2.3