Package: xfce4-panel Version: 4.12.0-2 Severity: normal File: /usr/lib/x86_64-linux-gnu/xfce4/panel/plugins/libpager.so
Dear Maintainer, The Workspace Switcher (pager) panel plugin has the option "Switch workspaces using the mouse wheel" which behaves similar to the option in the "Window Manager Tweaks"->"Workspaces" setting "Use the mouse wheel on the desktop to switch workspaces" except it does not respect the option found there "Wrap workspaces when the first or the last workspace is reached". Either the behavior should be updated to be consistent or, if having the Workspace Switcher behavior depend on the Window Manager configuration, then a "Wrap workspaces when the first or the last workspace is reached" checkbox should be added to the Workspace Switcher settings. Expected behavior: scrolling up on Workspace Switcher when currently on the first desktop switches desktops to the last desktop. Observed behavior: nothing happens. -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages xfce4-panel depends on: ii exo-utils 0.10.6-1 ii libatk1.0-0 2.16.0-2 ii libc6 2.19-18 ii libcairo2 1.14.2-2 ii libdbus-1-3 1.8.18-1 ii libdbus-glib-1-2 0.102-1 ii libexo-1-0 0.10.6-1 ii libfontconfig1 2.11.0-6.3 ii libfreetype6 2.5.2-4 ii libgarcon-1-0 0.4.0-2 ii libgdk-pixbuf2.0-0 2.31.4-2 ii libglib2.0-0 2.44.1-1 ii libgtk2.0-0 2.24.25-3 ii libice6 2:1.0.9-1+b1 ii libpango-1.0-0 1.36.8-3 ii libpangocairo-1.0-0 1.36.8-3 ii libpangoft2-1.0-0 1.36.8-3 ii libsm6 2:1.2.2-1+b1 ii libwnck22 2.30.7-2 ii libx11-6 2:1.6.3-1 ii libxext6 2:1.3.3-1 ii libxfce4ui-1-0 4.12.1-2 ii libxfce4util7 4.12.1-2 ii libxfconf-0-2 4.12.0-2+b1 xfce4-panel recommends no packages. xfce4-panel suggests no packages. -- Configuration Files: /etc/xdg/xfce4/panel/launcher-8.rc 82b3d5da726357358e6976a9c3914a5b [Errno 2] No such file or directory: u'/etc/xdg/xfce4/panel/launcher-8.rc 82b3d5da726357358e6976a9c3914a5b' -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org