Can TreeItem#setChecked(boolean) be enabled?

Terry Stanley <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]> 
As shown at <http://erights.org/javadoc/org/eclipse/swt/widgets/TreeItem.html#setChecked(boolean)>,
currently, the E taming decisions suppress
org.eclipse.swt.widgets.TreeItem#setChecked(boolean). Causeway would
find this method useful. Is there a reason this needs to be
suppressed? Does anyone object to enabling this in the next E release?

MarcS, MarkM tells me you were probably the one who initially
suppressed this, so I'd appreciate it if you could take a look.
Thanks.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.