ちょっと編集が便利になるプラグイン

  • EditTiddlerPluginのご紹介

リンク(&インストール)

ここから全コピーして新規Tiddlerに張り付けて、「systemConfig」タグをつける
あるいは、バックステージから取り込みURLでwww.tiddlytools.comを指定して「EditTiddlerPlugin」を選択
もちろんインストール後はF5

用法

こんな感じで書く

<<editTiddler TiddlerName label>>

こう書くとlabelという名前のボタンができて押すとTiddlerNameという記事の編集をすることができる
もちろん存在しないTiddlerは新規作成される

おまけ機能(むしろこっちの方がよく使うかも)

このプラグインをいれることにより、Ctrl+Enterで記事の編集ができるようになります。
これはフォーカスがあたっている記事なので注意です
この場合のフォーカスっていうのは、マウスで選択したり、リンクで飛んだりすると更新されます
TiddlersBarを使っているとフォーカスがあたっている記事しか表示されないのであまり関係はありません

広告を非表示にする