jEdit commits

RevisionAuthorDateDescription
13532voituk05 Sep 2008 04:22:04

Incremented build number

13531voituk05 Sep 2008 04:18:58

Fixed bug "server port sometimes flushes to default"

13530daleanson04 Sep 2008 22:45:54

fixed issue where diff was showing the wrong files

13529kpouer04 Sep 2008 18:16:04

When a bufferSet is not used, it should be empty so a buffer is closed when it is in no bufferSet, but no need to close it if the bufferSets do not have listeners (it can happens when creating new view)

13528kpouer04 Sep 2008 18:14:01

moved DockingLayoutSetter class to to the bottom of the file

13527kpouer04 Sep 2008 17:53:56

when restoring the splitconfig, fill the bufferSet before adding it to the EditPane

13526ezust04 Sep 2008 11:30:43

java 1.5 compatibility.

13525voituk04 Sep 2008 10:17:09

Little bugfix to avoid NPE

13524kpouer04 Sep 2008 05:14:32

added a log message when the docking framework is not found

13523shlomy04 Sep 2008 04:52:47

Undo a small change I committed last version that caused the initial run to start without a text area.
Also, change floating properties for all existing tool windows whenever the options change.

13522ezust03 Sep 2008 20:33:50

Updated to use DockingFramesProvider

13521kpouer03 Sep 2008 18:02:34

If the current docking framework isn't available use the original framework (allows jEdit to start with jedit -noplugins if Mydoggy is the current dockable framework in settings)

13520kpouer03 Sep 2008 17:48:49

fixed little javadoc and coding style