jbosstools/jbosstools-base — pull request #85 by scabanovich (2013-04-15 22:15:41+00:00)
Title: JBIDE-14009 Change palette content when HTML page is changed

Method update() is added to PaletteContents to be used by a
document listener to switch palette.