しかも、またまた Gentoo Linux と関係ありません。
UIM の設定から探すことが出来なかったので ~/.uim に以下の記述をしました。
(括弧の類も標準では半角を出すようにしています。)
(require "japanese.scm")
(define ja-space '(" " " " " "))
(define ja-alnum-space '(" " " "))
(require "japanese.scm")
(define ja-rk-rule (append '(
((("(") . ()) ("(" "(" "("))
(((")") . ()) (")" ")" ")"))
((("{") . ()) ("{" "{" "{"))
((("}") . ()) ("}" "}" "}"))
((("|") . ()) ("|" "|" "|"))
((("\\\\") . ()) ("\\\\" "\\\\" "\\\\"))
((("@") . ()) ("@" "@" "@"))
)
ja-rk-rule))
これでスペースが半角になります。
0 件のコメント:
コメントを投稿