From 337219be0d6f519947008ceb47b4387d0cccd8a0 Mon Sep 17 00:00:00 2001 From: slava Date: Tue, 11 Jul 2006 04:57:46 +0000 Subject: [PATCH] Minor UI cleanup --- library/ui/gadgets.factor | 5 +++++ library/ui/ui.factor | 7 ------- library/ui/world.factor | 8 +++++--- library/ui/x11/ui.factor | 5 +++-- library/ui/x11/windows.factor | 2 -- 5 files changed, 13 insertions(+), 14 deletions(-) diff --git a/library/ui/gadgets.factor b/library/ui/gadgets.factor index d9f3a91312..c6ba378bd8 100644 --- a/library/ui/gadgets.factor +++ b/library/ui/gadgets.factor @@ -96,3 +96,8 @@ M: gadget gadget-help drop f ; : with-gadget ( gadget quot -- ) [ swap gadget set call ] with-scope ; inline + +! Title bar protocol +GENERIC: gadget-title ( gadget -- string ) + +M: gadget gadget-title drop "Factor" ; diff --git a/library/ui/ui.factor b/library/ui/ui.factor index 7063b2820a..8b35ca762f 100644 --- a/library/ui/ui.factor +++ b/library/ui/ui.factor @@ -53,12 +53,6 @@ SYMBOL: windows : ( -- gadget ) ""