Drag'n Drop BufferTabs

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

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

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2012-08-15

Created: 2012-07-16

Private: No

Updated BufferTabs plugin so that tabs can be dragged and dropped.

<< < 1 2 (Page 2 of 2)

Jarek Czekalski - 2012-08-15

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

<< < 1 2 (Page 2 of 2)