Merge pull request #1372 from cbonnissent/5193

fix(ihm): htmltext options toolbar (closes #5193)