Bugs in Graphical Pager and Workspace Switcher
fourdan at xfce.org
Thu Oct 9 22:52:49 CEST 2003
On Thu, 2003-10-09 at 04:27, Nathaniel McCallum wrote:
> Bug 2 - Graphical Pager: This is a bug. Like I said before I usually have
> 10 or so workspaces at any time. I'd prefer to use the workspace switcher,
> but as I have stated before, this is not really usable in XFCE4 because of
> the short names. However, when you are using a graphical pager, the last
> "window" of the pager is noticeably longer than the other windows. The more
> workspaces you have, the more askew the last workspace is in the graphical
> pager. Its not really that noticeable with 4 or so workspaces, but just put
> in 15 or so and it is almost the size of two of the other ones. I haven't
> looked at the code, but I would think it would be because of an integer
> divide when a float divide is needed (discarding the "un-needed" decimals).
> But I could be wrong.
Odd. It doesn't show in the taskbar, just in the panel so it's not a
rounding error. But I confirm the last workspace is 4 pixels wider (and
the doesn't depend on the number of workspaces)
Olivier Fourdan - fourdan at xfce.org
Interoperability is the keyword, uniformity is a dead end.
More information about the Xfce4-dev