Bugs in Graphical Pager and Workspace Switcher

[Olivier Fourdan]

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)

Cheers,
-- 
Olivier Fourdan - fourdan at xfce.org
   
   Interoperability is the keyword, uniformity is a dead end. 
   http://www.xfce.org