ユーザースクリプトの当該処理を実装したunaristです。
> ライブサンプルに指定した見出しに限って、
> name属性が追加される場合とされない場合があるということです。
これバグですね。次の開始タグまでにスペースがない場合、
その間の文字列を「id以外の属性」として扱ってコピーしてしまうようです。
Example以外には見出しが連続することもないので気づかなかったのでしょうね。
後で直しておきます……。
> たしかに id="例" に書き換わったのを確認したのに、
> 履歴では id="Example" のままなのです。
EmbedLiveSampleなどのマクロも訪問者が目にするHTMLでは展開されていますが、
編集する際や履歴ではマクロのままですよね。
idの書き換えも同じようなタイミングで変換されていると思います。
2018年8月22日(水) 18:47 sutara79 <
toum...@gmail.com>:
> --
> このメールは Google グループのグループ「Mozilla 翻訳グループ」に登録しているユーザーに送られています。
> このグループから退会し、グループからのメールの配信を停止するには
mozilla-translati...@googlegroups.com にメールを送信してください。
> その他のオプションについては
https://groups.google.com/d/optout にアクセスしてください。