Mercurial Hosting > junotu
diff run.gui_sh @ 72:3f25b75e6dac
TabSimpleSearch: Added a pupup menu for future options
author | Fox |
---|---|
date | Fri, 06 Jan 2023 23:49:28 +0100 |
parents | 4ee26d904fe3 |
children |
author | Fox |
---|---|
date | Fri, 06 Jan 2023 23:49:28 +0100 |
parents | 4ee26d904fe3 |
children |