acavedon / tint2

Automatically exported from code.google.com/p/tint2
GNU General Public License v2.0
0 stars 0 forks source link

Display Desktop Number #19

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Hello is possible to display desktop number on openbox like pypanel do?

Thanks a lot!Tint2is awesome ^_^

Original issue reported on code.google.com by kaz.rag on 16 Aug 2008 at 9:08

GoogleCodeExporter commented 9 years ago
Will have a look at it.
but I can't do it in next release ... because too many things to do.

thanks

Original comment by thilo...@gmail.com on 17 Aug 2008 at 8:05

GoogleCodeExporter commented 9 years ago
I'd like this one too :)

Original comment by eax....@gmail.com on 10 Apr 2009 at 9:18

GoogleCodeExporter commented 9 years ago
And I 
:)

Original comment by sewer...@gmail.com on 22 Jun 2009 at 1:41

GoogleCodeExporter commented 9 years ago
thilor77 - I have made some changes to support this - not polished, but it 
prints the
desktop name right-justified in taskbar; currently works both vertically and
horizontally.  It just uses the inactive task text colour at the moment, but 
should
be easy to add specific font/colour config.  I will tidy up the code and submit 
a
patch for your perusal.

Original comment by jackpip...@gmail.com on 29 Aug 2009 at 1:40

GoogleCodeExporter commented 9 years ago
[deleted comment]
GoogleCodeExporter commented 9 years ago
I am wondering if this could be managed by a small app or script in the system 
tray
instead of being an actual feature of tint2 and instead of being shown in the
taskbar? I have no idea if that is possible, just wondering...
workspace-switcher-applet (used in Gnome)?

Original comment by pajari.r...@gmail.com on 29 Aug 2009 at 3:39

GoogleCodeExporter commented 9 years ago
That would work perfectly well in single desktop mode.  In multidektop mode I 
think
it is more intuitive and "direct" to have the name in the taskbar, and 
highlight the
current one.
I posted a mock-up screen shot, then a working prototype here:
http://crunchbanglinux.org/forums/post/28287/#p28287 

Original comment by jackpip...@gmail.com on 29 Aug 2009 at 4:09

GoogleCodeExporter commented 9 years ago
Hi jackp,

perhaps it's better to make a deeper reflexion for the feature.
the basic idea is :
- desktop name (or number) make sense when you are in 'single_desktop'.
  for me, it doesn't make sense when you are in 'multi_desktop'
- in multi_desktop, if the problem is to know witch desktop is the current,
  we can use another backgroung/border. looks cleaner.
- inside or ouside the taskbar ?
  most panel draw the name outside but not sure...
- another solution is to draw the name of current desktop outside the taskbar
  and draw it even in multi_desktop.

you can send your code.
but I'm not enough clear on the best way to do it.

if you have other point of view (or argumentation), it's welcome.

Original comment by thilo...@gmail.com on 29 Aug 2009 at 7:44

GoogleCodeExporter commented 9 years ago
Yes, that makes sense; I coded the window names for each taskbar because I 
liked the
aesthetic, and I highlight the name of the active taskbar.  You could instead 
change
the border, or use a different background id for the "active" taskbar.

One problem with having the name inside the taskbar as I have done is if a task
overlaps where the name is printed, and you have transparency, the name will 
show
through, and look a bit messy.

I will clean things up and send for you to have a look anyway, give me a day or 
two.

Original comment by jackpip...@gmail.com on 29 Aug 2009 at 10:22

GoogleCodeExporter commented 9 years ago
no urgency at all. I will work on other issue.
thanks to take it.

Original comment by thilo...@gmail.com on 29 Aug 2009 at 10:43

GoogleCodeExporter commented 9 years ago
Hello, 

I saw it mentioned, don't remember where, that a "taskbar_active_background_id" 
on
the configs would be nice. I agree here. Seems to be the most simple and clean 
way to
make it recognizable which taskbar corresponds to the current desktop.

I suggest starting with an option like this and them gradually adding new 
options
like displaying desktop name on the taskbar.

I miss functionality like that and I'm willing to help coding it. However, I 
don't
want to duplicate any effort. jackp, let me know if there's anything I could 
help with.

Original comment by kcfelix on 30 Aug 2009 at 8:26

GoogleCodeExporter commented 9 years ago
ok, "taskbar_active_background_id" added in svn r166.

Original comment by thilo...@gmail.com on 30 Aug 2009 at 3:40

GoogleCodeExporter commented 9 years ago
Sweet! Works perfectly for me! Thanks man :)

Original comment by kcfelix on 30 Aug 2009 at 6:28

GoogleCodeExporter commented 9 years ago
Just noticed the "taskbar_active_background_id" was suggested by jackp himself 
(user
jackbang on #! forums) on this thread:
http://crunchbanglinux.org/forums/topic/3232/my-tint2-config/ 

Thought I should give the credit :)

Original comment by kcfelix on 30 Aug 2009 at 7:07

GoogleCodeExporter commented 9 years ago
[deleted comment]
GoogleCodeExporter commented 9 years ago
Is this idea still actively moving forward?

Original comment by phynix...@gmail.com on 23 Apr 2010 at 12:58

GoogleCodeExporter commented 9 years ago
no !

Original comment by thilo...@gmail.com on 23 Apr 2010 at 7:52

GoogleCodeExporter commented 9 years ago
will take a look to desktop name.
now, with the new code, it should be easy to add the desktop name before the 
list of tasks (in the taskbar).

here new options I would like:
taskbar_name = 1
taskbar_name_background_id = 0
taskbar_name_active_background_id = 0
taskbar_font_color = #9F9F9F 100
taskbar_active_font_color = #FFFFFF 100

Original comment by thilo...@gmail.com on 27 Sep 2010 at 8:22

GoogleCodeExporter commented 9 years ago
desktop name is done in SVN.

new config option are :
taskbar_name = 1
taskbar_padding = 3
taskbar_name_background_id = 0
taskbar_name_active_background_id = 0
taskbar_font = sans italic 7
taskbar_font_color = #9F9F9F 100
taskbar_active_font_color = #FFFFFF 100

Original comment by thilo...@gmail.com on 16 Nov 2010 at 8:22

GoogleCodeExporter commented 9 years ago
oups, second try, new option are :

taskbar_name = 1
taskbar_name_padding = 3
taskbar_name_background_id = 0
taskbar_name_active_background_id = 0
taskbar_name_font = sans italic 7
taskbar_name_font_color = #9F9F9F 100
taskbar_name_active_font_color = #FFFFFF 100

Original comment by thilo...@gmail.com on 16 Nov 2010 at 8:31

GoogleCodeExporter commented 9 years ago
done.

Original comment by thilo...@gmail.com on 2 Dec 2010 at 9:29