3 check-ins using file pluginconf/gui.py version 19523612ff

2022-11-01
23:30
shift warning for undiscoverable modules check-in: 18c5918a6d user: mario tags: trunk
23:30
predefine conf[plugins], note .base(__package__) as example check-in: 94218baefa user: mario tags: trunk
23:29
use dict.pop() instead of get+del check-in: 900b323b25 user: mario tags: trunk