jEdit / Patches / #488 Fix mode loading for temporary buffers

#488 Fix mode loading for temporary buffers

Status: closed-accepted

Owner: Thomas Meyer

Labels: None

Priority: 5

Updated: 2013-05-30

Created: 2013-03-29

Creator: Thomas Meyer

Private: No

Don't load mode for temporary buffers. This speeds up HyperSearch greatly for the non-wholeWord search case. For the wholeWord case explicitly set the mode in the HyperSearch.

Proposed patch attached.

Discussion

Thomas Meyer - 2013-03-29

v1

Fix-Hypersearch-Excessive-Mode-Usage.patch

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

Thomas Meyer - 2013-04-05

Some minor bug fix for the Mode.setProperties()

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

Thomas Meyer - 2013-04-05

v2

Fix-Hypersearch-Excessive-Mode-Usage.patch

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

Alan Ezust - 2013-05-30

Looks like you forgot to close this ticket after you committed it to 5.1pre1

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

Alan Ezust - 2013-05-30

assigned_to: nobody --> thomasmey

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

Fix mode loading for temporary buffers

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

Group

Searches

Help

#488 Fix mode loading for temporary buffers

Discussion