Don't remember, but seems like I installed one: martin@...:~/.local/share/gedit/plugins$ ls -la insgesamt 24 drwxrwxr-x 3 martin martin 4096 Mai 23 2015 . drwxrwxr-x 3 martin martin 4096 Mai 23 2015 .. -rw-r--r-- 1 martin martin 386 Mai 23 2015 encoding.plugin -rw-r--r-- 1 martin martin 4708 Mai 23 2015 encodingpy.py drwxrwxr-x 2 martin martin 4096 Aug 13 13:09 __pycache__ martin@...:~/.local/share/gedit/plugins$
I purged gedit and reinstalled it, but it didn't help. Can I just remove ~/.local/share/gedit/plugins or its content? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1615359 Title: gedit crashed with signal 5 in g_settings_get_value() To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1615359/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
