NullPointerException trying to access resource doc

• From: Enrico Spinielli <Enrico.Spinielli@marconi.com>
• Date: Tue, 23 Oct 2001 20:15:00 +0200
• To: www-jigsaw@w3.org
• Message-ID: <OF5568BF4B.82EEEB3D-ONC1256AEE.006236A0@uk.marconicomms.com>

Hi all,
in the Edit Resource Window I encountered an exception when:
0. edit a Resource from Resource Tree, i.e. 'RelNotes.html'
1. select any frames, i.e. 'HTTPFrame (frame-0)'
2. invoking 'Help -> Show reference documentation'

the error dialog title says "java.net.MalformedURLException"
while its message is "java.lang.NullPointerException"

The error doesn't show up when invoking the 'info' menu item
in the popup menu or when de-selecting the resource (Ctrl-Space)
and 2. above ...


Hope it helps
Bye
---
Enrico Spinielli                       Marconi Mobile
OMC User Interface Team Leader         Public Mobile Radio Product Unit
phone:+39(0)10-6005.858                Via Negrone, 1/A
mailto:enrico.spinielli@marconi.com    I-16153 Genoa, Italy

Received on Tuesday, 23 October 2001 14:15:54 UTC