jEdit / Patches / #107 Sessions plugin cancel button

#107 Sessions plugin cancel button

Status: closed-fixed

Owner: Steve Jakob

Labels: None

Priority: 5

Updated: 2007-08-04

Created: 2007-06-15

Creator: Davide DelVento (was javacorner)

Private: No

This patch fixes (again) the bug # 1724376 (my previous patch was not clean and has not been implemented, I am not sure why). I hope that this one will be used.

In addition this patch improves the user interface and makes possible for the user to cancel the switch/close process if he/she doesn't want save neither want not save the current Session.
Very useful, IMO (and easier to play with than to explain)

Bye,
;Davide

Discussion

Davide DelVento (was javacorner) - 2007-06-15

SVN patch

Sessions.patch

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

Alan Ezust - 2007-06-21

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

Davide DelVento (was javacorner) - 2007-06-21

Logged In: YES
user_id=1624782
Originator: YES

Please note that the patch for EditorExit [ 1737563 ] is required for this patch to compile.

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

Steve Jakob - 2007-08-04

Logged In: YES
user_id=17432
Originator: NO

Implemented with a few modifications in SVN revision #10314.

Updated Sessions plugin requirements to jEdit 4.3pre10.

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

Steve Jakob - 2007-08-04

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

Sessions plugin cancel button

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

Group

Searches

Help

#107 Sessions plugin cancel button

Discussion