Module jEdit

Package org.gjt.sp.jedit.menu

Class ReloadWithEncodingProvider

java.lang.Object

org.gjt.sp.jedit.menu.ReloadWithEncodingProvider

All Implemented Interfaces:

ActionListener, EventListener, DynamicMenuProvider

public class ReloadWithEncodingProvider
extends Object
implements ActionListener, DynamicMenuProvider

Menu provider for actions to reload the current buffer with a specific encoding.

Version:

$Id: ReloadWithEncodingProvider.java 25326 2020-05-09 10:08:52Z kpouer $

Constructor Summary

Constructors

Constructor	Description
ReloadWithEncodingProvider()

Method Summary

Modifier and Type	Method	Description
void	actionPerformed(ActionEvent ae)
void	update(JMenu menu)	Adds the menu items to the given menu.
boolean	updateEveryTime()	Returns true if the menu should be updated each time it is shown.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ReloadWithEncodingProvider

public ReloadWithEncodingProvider()

Method Details

updateEveryTime

public boolean updateEveryTime()

Description copied from interface: DynamicMenuProvider

Returns true if the menu should be updated each time it is shown. Otherwise, it will only be updated when the menu is first created, and if the menu receives a DynamicMenuChanged message.

Specified by:

updateEveryTime in interface DynamicMenuProvider

update

public void update(JMenu menu)

Description copied from interface: DynamicMenuProvider

Adds the menu items to the given menu.

Specified by:

update in interface DynamicMenuProvider

Parameters:

menu - The menu

actionPerformed

public void actionPerformed(ActionEvent ae)

Specified by:

actionPerformed in interface ActionListener