Hex plugin does not detect file change

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

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

#49 Hex plugin does not detect file change

Status: open

Owner: Andre Kaplan

Labels: None

Priority: 5

Updated: 2003-06-17

Created: 2002-11-06

Creator: Anonymous

Private: No

When you have a file open through the Hex plugin, if the
file changes on disk then jEdit does not popup the box
telling you the file changed and asking if you would like
to reload it.

Discussion

Slava Pestov - 2003-05-29

labels: 102671 -->

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

Brad Mace - 2003-06-17

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

Hex plugin does not detect file change

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

Group

Searches

Help

#49 Hex plugin does not detect file change

Discussion