Unicode brackets

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Milestone: None

Status: closed-accepted

Owner: Alan Ezust

Labels: None

Priority: 5

Updated: 2016-07-10

Created: 2015-08-25

Private: No

Here are some more bracket-pairs from the Unicode repertoire.

1 Attachments

brackets.patch

Alan Ezust - 2016-07-10

Committed 24445.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2016-07-10

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: