comparison sat_frontends/jp/cmd_bookmarks.py @ 2790:19ab67e28822

quick frontends: visible_widgets can now keep any kind of widget, new visible_quick_widgets only iters on QuickWidgets
author Goffi <goffi@goffi.org>
date Sun, 20 Jan 2019 15:46:32 +0100
parents 003b8b4b56a7
children ab2696e34d29
comparison
equal deleted inserted replaced
2789:d350f4571d82 2790:19ab67e28822