Re: Notification: incoming/707

[Dominik Vogt]

On Wed, Apr 18, 2001 at 11:31:10AM -0400, Eric Ding wrote:
> Hi Dominik,
> 
> I've included below a sample Java application (source code) that tickles
> the bug in fvwm 2.2.5.  I haven't had the time to try this out with the
> latest FVWM2 beta version, so I don't know if it works from there.

I installed Java2 and tried to run your sample program, but the
VM dumps core withut doing anything useful.  The same problem
occurs when compiling the program with javac.  Could anybody
else try this?  (sample program attached again).

Bye

Dominik ^_^  ^_^

--
Dominik Vogt, [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED]

/*
 * HelloWorldApp.java - test program to provoke FVWM2 internal error message.
 *
 * To use: get the JDK from Blackdown.org, then compile and run with:
 *
 *       javac HelloWorldApp.java
 *       java HelloWorldApp
 *
 */

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;

class HelloWorldApp {
    public static void main(String[] args) {
        JFrame frame = new JFrame("Hello World");
        frame.setVisible(false);
        
        /* The following call to setResizable() causes an error in fvwm2 when
         * setVisible() is called later.
         *
         * [FVWM][FvwmErrorHandler]: <<ERROR>> *** internal error ***
         * [FVWM][FvwmErrorHandler]: <<ERROR>> Request 1, Error 2, EventType: 20
         * [FVWM][FvwmErrorHandler]: <<ERROR>> *** internal error ***
         * [FVWM][FvwmErrorHandler]: <<ERROR>> Request 12, Error 2, EventType: 
20
         * [FVWM][FvwmErrorHandler]: <<ERROR>> *** internal error ***
         * [FVWM][FvwmErrorHandler]: <<ERROR>> Request 12, Error 2, EventType: 
23
         *
         * If we change the arg to true, or call setResizable after setVisible
         * is called with true, then there's no error.
         */
        frame.setResizable(false);
        
        JButton button = new JButton("Hello world");
        
        JPanel panel = new JPanel();
        panel.setLayout(new BorderLayout());
        panel.add(button);
        frame.setContentPane(panel);
        frame.pack();
        
        frame.setVisible(true);
    }
}