From 002972c3b4957d07afaae3066cf96f56f3eebf01 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 29 Sep 2011 13:10:21 -0700 Subject: [PATCH] Revert "ui.clipboards: adding a gadget-copy-all." This reverts commit bee1c0c61e15d140bbf934a8cd0044e265f49bc9. --- basis/ui/clipboards/clipboards.factor | 3 --- 1 file changed, 3 deletions(-) diff --git a/basis/ui/clipboards/clipboards.factor b/basis/ui/clipboards/clipboards.factor index 998d7b6ada..ec7bb59931 100644 --- a/basis/ui/clipboards/clipboards.factor +++ b/basis/ui/clipboards/clipboards.factor @@ -37,9 +37,6 @@ SYMBOL: selection [ 2drop ] if ; -: gadget-copy-all ( gadget clipboard -- ) - [ [ gadget-text ] keep ] dip copy-clipboard ; - : com-copy ( gadget -- ) clipboard get gadget-copy ; : com-copy-selection ( gadget -- ) selection get gadget-copy ;