[ jEdit-devel ] [jedit:patches] #599 Add missing local properties to Insert_Buffer_Properties macro

[Jesse P. <jp...@us...>]

---

** [patches:#599] Add missing local properties to Insert_Buffer_Properties macro**

**Status:** open
**Group:** 
**Created:** Fri Sep 15, 2017 09:15 PM UTC by Jesse Pavel
**Last Updated:** Fri Sep 15, 2017 09:15 PM UTC
**Owner:** nobody
**Attachments:**

- [Insert_Buffer_Properties.patch](https://sourceforge.net/p/jedit/patches/599/attachment/Insert_Buffer_Properties.patch) (782 Bytes; application/octet-stream)


The Insert_Buffer_Properties macro was missing two properties. The patch adds these, and tunes the dialog size to include them.


---

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.