空行(改行)を出力するプラグインを†
- ページ: BugTrack
- 投稿者: reimy
- 優先順位: 普通
- 状態: 完了
- カテゴリー: プラグイン
- 投稿日: 2003-06-23 (月) 15:58:06
- バージョン:
メッセージ†
段落(p)やリスト(ul,ol,dl)、テーブル(table)などのmargin-topやmargin-bottomを0に設定している場合、ブロック間のスペースを開けるための空行(改行)を出力するプラグインが必要。
br.inc.phpを自作して対応していたが、正式版でないとPukiWiki-officialで使っちゃいけないそうなので。
<?php
// $Id: br.inc.php,v 1.1 2003/02/28 02:42:57 reimy Exp $
function plugin_br_convert()
{
return "<br class="spacer" />";
}
?>
- よく考えると、本家となるサイトにおいて、その br.inc.php を利用したページというものが、今後のtar玉に混入されていくべき文書となるのであれば、その状態では確かにまずいと思います。しかし、ただの利用であれば、本家であっても、個人的には構わないと思います。とは言え、正式に組み込む方向で検討するか?または、contrib を採用し、本体では保守しないものの、正式リリースするtar玉には、梱包する。という流れを明確にするのも手かもしれませんね。 -- upk