[image]デフォルトのハイライト
デフォルトのハイライトだと
どこがハイライトされてるのかさっぱりわからんです。

opera:configの中にそれらしいのが見当たらないので途方に暮れていたけど
エクステンションでいいのがあった。
operaのエクステンションって使った事なかったけど簡単ですねぇ。

Source – Opera extensions

ctrl+F9でソース表示
[image]エクステンション source を使って表示

メニュー – エクステンション – 拡張機能の管理から設定を変える事で行数も表示でけた。
[image]設定

よかったよかった。

ついでにいれた画像を拡大するヤツもなんかいい感じ
Image Preview Popup – Opera extensions