JBIDE-17961 The last used HTML5 Palette tab should be used by default