Currently, when jEdit is given a large file to open (either during runtime or on startup,
e.g. when the perspective.xml file specifies a large file), it may take a very long
time, during which jEdit is not responsive. jEdit should catch this (like firefox
realizing that a slow script is running) and ask what to do - cancel the loading of
the file, or maybe other things.
The criteria of file size is not good enough. Two files with the same size can take a very different time for loading.
|Submitted||shlomy - 2012-09-19 - 09:51:52z||Assigned||nobody|
|2013-04-05 - 05:34:37z
|why special processing? If it just opened every file in a background task and showed
it in the task monitor, so you could cancel it, and only added the buffer to the buffersets
and allowed the user to see it after it is finished loading, that would be even better,