Discussion:
[ jEdit-devel ] [jedit:feature-requests] #537 Add "default encoding" option in the "Mode Settings"
sigzero
2017-04-01 18:36:17 UTC
Permalink
---

** [feature-requests:#537] Add "default encoding" option in the "Mode Settings"**

**Status:** open
**Group:** v5.4
**Labels:** Encoding Encodings
**Created:** Sat Apr 01, 2017 06:36 PM UTC by sigzero
**Last Updated:** Sat Apr 01, 2017 06:36 PM UTC
**Owner:** nobody


There should be another option under "Mode Settings" to set the default encoding for individual file types.


---

Sent from sourceforge.net because jedit-***@lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.
Loading...