07/03/28 21:33:47 GqEXGIth
TEAの設定ってすごくいっぱいあるけどGUIでやってくれって感じだね。
そのわりにキーバインドの設定がマニュアルにもない。
それから、ターミナルから起動して終了させようとしても終了してくれない。
そのターミナルもかたまってしまうので、別のターミナルからいつも
kill -kill pidをしないといけない。ちなみにバージョンは14.0.1
07/03/28 21:33:47 GqEXGIth
TEAの設定ってすごくいっぱいあるけどGUIでやってくれって感じだね。
そのわりにキーバインドの設定がマニュアルにもない。
それから、ターミナルから起動して終了させようとしても終了してくれない。
そのターミナルもかたまってしまうので、別のターミナルからいつも
kill -kill pidをしないといけない。ちなみにバージョンは14.0.1