diff run.gui_sh @ 74:1d37914defe0

TabEdit: Fixed being able to add multiple tag buttons that represent the same internal tag-value
author Fox
date Sat, 07 Jan 2023 01:12:25 +0100
parents 4ee26d904fe3
children
line wrap: on
line diff