view src/d.el @ 25885:6a0fe1278e4d

(make_menu_in_widget, update_one_menu_entry): Use widgets instead of gadgets to be able to set colors.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 06 Oct 1999 23:25:07 +0000
parents 7149131beb13
children
line wrap: on
line source

;; $Id:$