Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#56 workspace names in pager

6.1
open
nobody
5
2011-05-28
2011-05-28
bercik-rrp
No

Showing workspaces names in pager. Different name's background for current and other workspace. Configurable font, colors and size.

Example config:
ShowNames = true
NamesHeight = 12
NamesFmt = <span color="red" font="7">%s</span>
NamesBackgroundNormal = #00ff00
NamesBackgroundActive = #0000ff

Discussion

  • bercik-rrp
    bercik-rrp
    2011-07-12

    patch updated - bugfix

     
  • Hi, couple of comments
    1. with updated binary and not updated config file, starts in 10 sec and use 100% cpu
    2. with both binary and config updated, puts all work-spaces into single DA (drawing area), instead of putting each work-space into dedicated DA. So everything is TOO small. Try 4 work-spaces with panel height 24 pixels

    Can you change the code to show work-space names in a tooltips, and we will thinks what to do next

     
  • bercik-rrp
    bercik-rrp
    2011-08-01

    Hi,

    ad.1 I can't reproduce this problem, but I change default settings, so should be better.

    ad. 2. I add ShowNamesInTooltip option (enabled by default). ShowNamesInPager is now disable by default, but I don't remove this option, because for higher panels (for example height=52):
    - It looks good
    - It is useful (especially when using more than 4 workspaces) - reduces the height of wokspace thumbnails and occupied place by pagger on the panel.

     
  • bercik-rrp
    bercik-rrp
    2011-08-01

    add options to disply names in tooltips