# HG changeset patch # User David Barts # Date 1580444642 28800 # Node ID fcf82e3b7e316a2a03668110da0b226abd510466 # Parent 5f8475b37e23d7555a0f845464875237586b90c8 Remove deadwood. diff -r 5f8475b37e23 -r fcf82e3b7e31 src/name/blackcap/clipman/Menus.kt --- a/src/name/blackcap/clipman/Menus.kt Thu Jan 30 20:21:42 2020 -0800 +++ b/src/name/blackcap/clipman/Menus.kt Thu Jan 30 20:24:02 2020 -0800 @@ -60,14 +60,9 @@ */ class SelectionRequired { private val controls = HashSet() - /* private val parents = HashSet() */ fun add(item: JMenuItem): JMenuItem { controls.add(item) - /* var p = item.parent - if (p != null) { - parents.add(p) - } */ return item } @@ -75,9 +70,6 @@ controls.forEach { it.setEnabled(state) } - /* parents.forEach { - it.validate() - } */ } fun enable() = setEnabled(true)