grab back the focus on a proper textedit when reinserting a deleted element (useful...
[booh] / lib / booh /
drwxr-xr-x   ..
-rw-r--r-- 11386 GtkAutoTable.rb
-rw-r--r-- 1698 UndoHandler.rb
-rw-r--r-- 15751 booh-lib.rb
-rw-r--r-- 11563 html-merges.rb
-rw-r--r-- 611 pre-setup.rb