83 |
AC_ARG_ENABLE(default-toolkit, |
AC_ARG_ENABLE(default-toolkit, |
84 |
AS_HELP_STRING([--enable-default-toolkit], |
AS_HELP_STRING([--enable-default-toolkit], |
85 |
[fully qualified class name of default AWT toolkit])) |
[fully qualified class name of default AWT toolkit])) |
86 |
default_toolkit=$enable_default_tookit |
default_toolkit=$enable_default_toolkit |
87 |
if test "$default_toolkit" = ""; then |
if test "$default_toolkit" = ""; then |
88 |
default_toolkit=gnu.java.awt.peer.gtk.GtkToolkit |
default_toolkit=gnu.java.awt.peer.gtk.GtkToolkit |
89 |
fi |
fi |