From 73bc2bbbd1f6282c6bcfde8af22b088540be1a74 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 29 Sep 2011 13:02:23 -0700
Subject: [PATCH] ui.clipboards: adding a gadget-copy-all.

---
 basis/ui/clipboards/clipboards.factor | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/basis/ui/clipboards/clipboards.factor b/basis/ui/clipboards/clipboards.factor
index ec7bb59931..998d7b6ada 100644
--- a/basis/ui/clipboards/clipboards.factor
+++ b/basis/ui/clipboards/clipboards.factor
@@ -37,6 +37,9 @@ 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 ;