08/01/19 01:23:27 CQt58o/y0
>>821-822
あんまり使用頻度も高くないスクリプトだったので、切りました。
やはりプラグインを切るとなるとプリインストールのほうでしたか、
どうも名前からしてOutput Dockっぽい気はしましたが、ここのものを切るのは怖くて、
他に悪さの原因であるプラグインは無いか、
無いならないでプリインストールされているのを切っていいものか、
ともかく判断を仰ぐつもりで質問したしだいです。
舌足らず（というか、詳細まで丸投げ）質問で申し訳なかったです。
ともかく助かりました。ありがとうございました。