HotJava Is Customizable |
Customizing has many flavors | |
![]() |
Direct manipulation |
![]() |
Properties changes |
![]() |
Applets (of course) |
![]() |
Developer hooks |