[ jEdit-users ] Menu items + icon

[<ar...@co...>]

> Date: Thu, 10 Feb 2000 16:50:50 +1100
> From: Slava Pestov <sp...@gj...>
> To: jed...@li...
> Subject: Re: [ jEdit-users ] small suggestion
> Reply-To: jed...@li...
> 
> Reinout van Schouwen wrote:
> > 
> > quick suggestion: make the Utilities menu item 'Unsplit' disabled when the
> > view is, well, unsplit.
> 
> Can't be done with the current menu item model (it doesn't support
> 'dynamic' enabling/disabling)
> 
> Slava

Huh?  JMenuItem.setEnabled() won't do it?

> Date: Thu, 10 Feb 2000 16:55:48 +1100
> From: Slava Pestov <sp...@gj...>
> To: jed...@li...
> Subject: Re: [ jEdit-users ] About dialog
> Reply-To: jed...@li...
> 
> ar...@co... wrote:
> > I have no jedit_logo.jpg.
> 
> It should be in your jedit.jar file. It is in the 'official' one
> that I distribute.
> 
> Slava

Yes, this is probably my bad...I was monkeying around with the build.
I'll get the official jar again.

Aaron