58
58
/* Scale of a workspace when the user zooms on it (fills most of the switcher, leaving a margin to see
59
59
the corners of the other workspaces below it) */
61
61
property real zoomedScale: (isDesktopHorizontal) ? ((width - 2*margin) / switcher.width) :
62
62
((height - 2*margin) / switcher.height)