robxnano af96a51acb GTK2: Replaced option menus with combo boxes ...

The old GtkOptionMenu widget is deprecated.

2022-10-08 14:04:20 +01:00

..

doc

add gnome_keybindings.txt

2020-10-09 13:54:42 +09:00

src

GTK2: Replaced option menus with combo boxes

2022-10-08 14:04:20 +01:00

COPYING

Imported sources

2002-02-04 16:58:13 +00:00

Makefile

fix link file list of SS

2020-09-18 18:42:36 +09:00

NEWS

updates

2006-05-14 20:46:19 +00:00