[ jEdit-devel ] [jedit:patches] #591 replacement for Display_Character_Code.bsh

[Robert S. <rsc...@us...>]

- **status**: open --> closed-accepted
- **Group**:  --> 
- **Comment**:

Nice tiny enhancement - committed.



---

** [patches:#591] replacement for Display_Character_Code.bsh**

**Status:** closed-accepted
**Group:** 
**Created:** Thu Aug 25, 2016 04:45 PM UTC by Jim Michaels
**Last Updated:** Thu Aug 25, 2016 04:47 PM UTC
**Owner:** nobody
**Attachments:**

- [Display_Character_Code.bsh](https://sourceforge.net/p/jedit/patches/591/attachment/Display_Character_Code.bsh) (1.1 kB; application/octet-stream)


attached. for 5.3.1


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/patches/

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