diff light8/ExternalInput.py @ 2332:2aeceb6f03aa

edit-choice defaults to no 'rename' button
author drewp@bigasterisk.com
date Fri, 02 Jun 2023 09:42:48 -0700
parents d6c48d2d3bd6
children
line wrap: on
line diff