Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-3614950 ] jEdit freezes when editing specific text
|
From: SourceForge.net <no...@so...> - 2013-08-30 07:30:14
|
Bugs item #3614950, was opened at 2013-08-29 09:37 Message generated for change (Comment added) made by ur6lad You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3614950&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: text area and syntax packages Group: normal bug Status: Pending Resolution: Remind Priority: 5 Private: No Submitted By: UR6LAD (ur6lad) Assigned to: Nobody/Anonymous (nobody) Summary: jEdit freezes when editing specific text Initial Comment: When I try to edit (select then delete) specific text jEdit freezes. I have met this behavior before in other files so it doesn't depend on specific file (parser) type. Step to reproduce: 1. Open `test.properties` file 2. Select any area by keys or mouse 3. Press 'Detete on a keyboard. 4. jEdit freezes (doesn't respond to any action) I tested this case with mode _property_ and _text_. ---------------------------------------------------------------------- Comment By: UR6LAD (ur6lad) Date: 2013-08-30 00:30 Message: I will test this issue with each plugin then open new issue. ---------------------------------------------------------------------- Comment By: UR6LAD (ur6lad) Date: 2013-08-30 00:27 Message: Hi guys! I've retested it with the noplugins option: jedit works as expected. You right this is a plugin's issue. Please close it. ---------------------------------------------------------------------- Comment By: Dale Anson (daleanson) Date: 2013-08-29 14:20 Message: Yeah, I can't reproduce this either and I have a crapload of plugins installed. I thought since it was a properties file that maybe it was the properties sidekick causing some problem, but it's parsing the test.properties file just fine. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2013-08-29 14:11 Message: what platform? what version of java? what version of jedit? Does it reproduce with jedit -noplugins? What about jedit -nosettings? With my particular settings and plugins, I can not reproduce. Need more info. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3614950&group_id=588 |
