diff src/keyboard.h @ 22568:5682c77dce71

(bookmark-save-flag, bookmark-version-control): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 08:48:57 +0000
parents 15200c139d9f
children 0bf811ce5c67
line wrap: on
line diff