もちろん、.gnome2/gedit/plugins と .local/share/gedit/plugins ディレクトリにあるファイルをコピーしようとしました。しかし、それはまったく機能しません。プラグインのインストール方法を教えてください。
私は Fedora 18 を使用しています。Lxde デスクトップ マネージャーです。
もちろん、.gnome2/gedit/plugins と .local/share/gedit/plugins ディレクトリにあるファイルをコピーしようとしました。しかし、それはまったく機能しません。プラグインのインストール方法を教えてください。
私は Fedora 18 を使用しています。Lxde デスクトップ マネージャーです。