# HG changeset patch # User David Barts # Date 1579491882 28800 # Node ID 0fb6da371b801997cab421c51d67af7dd293bdc8 # Parent 5bbb436fbcf7aee3330f9213236875d485a9d9f9 Remove some deadwood. diff -r 5bbb436fbcf7 -r 0fb6da371b80 src/name/blackcap/clipman/Main.kt --- a/src/name/blackcap/clipman/Main.kt Sun Jan 19 19:39:52 2020 -0800 +++ b/src/name/blackcap/clipman/Main.kt Sun Jan 19 19:44:42 2020 -0800 @@ -109,7 +109,6 @@ add(stdLabel("Styled text")) add(ClipText().apply { contentType = "text/html" - toolTipText = "Styled text" text = scrub(contents.html) border = stdBorder autoSize(stdWidth!!)