jEdit commits

RevisionAuthorDateDescription
14310shlomy06 Jan 2009 17:03:29

Changed the plugin's packages to be named according to the plugin, to ensure a common namespace for them, mainly to simplify understanding of exceptions from them.

14309shlomy06 Jan 2009 12:02:12

Preview dockable: Handle the case that the file containing the tag definition cannot be read.

14308shlomy06 Jan 2009 09:29:16

Fixed an exception when the project viewer interface was not initialized.

14307shlomy06 Jan 2009 01:47:49

Get rid of the empty tooltip in the HyperSearch Results dockable.

14306shlomy05 Jan 2009 08:35:20

Updated to a new MyDoggy version, which fixes some bugs, mainly an exception thrown when a floating-free window is docked back into place. The exception caused it not to have its anchor button back.

14305kpouer05 Jan 2009 08:22:43

use of StandardUtilities.getBoolean()

14304kpouer05 Jan 2009 08:21:11

- New method StandardUtilities.getBoolean() that will convert an object into a
boolean
- New method JEditBuffer.getBooleanProperty(String name, boolean def)

14303kpouer05 Jan 2009 08:08:48

fixed indentation

14302kpouer05 Jan 2009 06:07:19

BufferSet.handleMessage() is now package local and do not take a parameter anymore

14301kpouer05 Jan 2009 05:58:12

fixed coding style

14300kpouer05 Jan 2009 05:46:05

added missing override annotations

14299kpouer05 Jan 2009 05:42:45

fixed coding style and added GPL header

14298shlomy05 Jan 2009 03:51:38

Fixed bug #2017514: Selection occasionally lost after right-click.