diff lib/background_loop.py @ 2332:2aeceb6f03aa

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