gtk menu-bar fixes

This commit is contained in:
Matthew Flatt 2010-10-15 12:39:11 -06:00
parent 4d8497b985
commit c57c84721f

View File

@ -114,9 +114,11 @@
(gtk_label_set_text_with_mnemonic (gtk_bin_get_child item-gtk) (gtk_label_set_text_with_mnemonic (gtk_bin_get_child item-gtk)
(fixup-mneumonic str))))) (fixup-mneumonic str)))))
(def/public-unimplemented enable-top) (define/public (enable-top pos on?)
(gtk_widget_set_sensitive (car (list-ref menus pos)) on?))
(define/public (delete which pos) (define/public (delete which pos)
(atomically
(set! menus (let loop ([menus menus] (set! menus (let loop ([menus menus]
[pos pos]) [pos pos])
(cond (cond
@ -127,7 +129,7 @@
(cdr menus)] (cdr menus)]
[else (cons (car menus) [else (cons (car menus)
(loop (cdr menus) (loop (cdr menus)
pos))])))) (sub1 pos)))])))))
(public [append-menu append]) (public [append-menu append])
(define (append-menu menu title) (define (append-menu menu title)