from browser import window # interface to plugin properties def get_preference(key): return window.customizeEditor[key] if window.customizeEditor else None