DokuWikiで情報発信

個人での情報発信や社内での情報共有に便利なDokuWikiを紹介するサイトです。

ユーザ用ツール

サイト用ツール


サイドバー

目次

DokuWikiを理解

DokuWikiの構築

よく確認するページ

· 最終更新: 2020/12/14 by oreda admin



「プラグイン」に戻る

DokuWikiおすすめプラグイン一覧。まとめ

DokuWikiプラグイン : CodeMirror Plugin

概要

plugin:codemirror

編集画面をカラー表示にしてくれます。
また、キーボインドの変更も可能です。

編集画面の例


設定

右下に設定アイコンが追加されます。
カラーは、色々なテーマがあります。

カラーテーマ(erlang-dark)

カラーテーマ(material)

カラーテーマ(monokai)

カラーテーマ(bubyblue)




· 最終更新: 2020/12/14 by oreda admin

ページ用ツール