【初心者】Ubuntu Linux 110【本スレ】 [無断転載禁止]©5ch.net
■ このスレッドは過去ログ倉庫に格納されています
0518login:Penguin
2017/03/01(水) 08:56:33.93ID:tpROUYsAgedit「昔の私がお好きなら、plumaという名で出ています」
私もgedit 3.18.xは嫌いだ、なんとか 3.10に戻す方法は無いものか
といろいろ漁っていたら、PPAで入れる方法とともに記載されてた
mousepad, leafpad, pluma
3つ並べてみると、mousepadが良さそうに見えるが、
plumaの自動セーブと保存する前にバックアップを作る機能が便利過ぎる
■ このスレッドは過去ログ倉庫に格納されています