[1036709] Did not have to check for devtools.theme in TableWidget#flash