wimsdev
BlueGrey
calm
Elegant
Català-Valencià – Catalan
中文 – Chinese (Simplified)
中文 – Chinese (Traditional)
Česky – Czech
Dansk – Danish
Nederlands – Dutch
English – English
Suomi – Finnish
Français – French
Deutsch – German
עברית – Hebrew
हिंदी – Hindi
Magyar – Hungarian
Bahasa Indonesia – Indonesian
Italiano – Italian
日本語 – Japanese
한국어 – Korean
Македонски – Macedonian
मराठी – Marathi
Norsk – Norwegian
Polski – Polish
Português – Portuguese
Português – Portuguese (Brazil)
Русский – Russian
Slovenčina – Slovak
Slovenščina – Slovenian
Español – Spanish
Svenska – Swedish
Türkçe – Turkish
Українська – Ukrainian
Oëzbekcha – Uzbek
Subversion Repositories
wimsdev
(root)
/
trunk
/
wims
/
src
/
Misc
/
applets
/
zirkel
/
src
/
rene
/
gui
/
MyMenu.java
@ 18515
– Rev 3658
Rev
Blame
|
Last modification
|
View Log
|
RSS feed
package
rene.gui
;
import
java.awt.Menu
;
public
class
MyMenu
extends
Menu
{
public
MyMenu
(
String
s
)
{
super
(
s
)
;
if
(
Global.
NormalFont
!
=
null
)
setFont
(
Global.
NormalFont
)
;
}
}