diff doc/make.bat @ 363:816a0c880f52

core: use selected widget from main screen in getWidgetToSwitch: if we are not on "main" screen, selected_widget may not refer to a widget that we want to change. To avoid that, getWidgetToSwitch check and use `_selected_widget_main` if suitable. In other words, a widget from "main" screen will be returned and switched, even if we are on a other screen (e.g. if on "extra", if a widget like ShareWidget is shown).
author Goffi <goffi@goffi.org>
date Mon, 27 Jan 2020 21:17:08 +0100
parents aafd814e34b5
children
line wrap: on
line diff