time format toggle button added to tint2 manager

[Jerry3904]

Just sent up for distribution. Nice and simple: one click changes all tint2s at the same time and notifies user of new format:

[PPC]

Hum... This sound like a very nice idea! What about adding an "Auto-hide" option also?

P.

[chrispop99]

Hum... This sound like a very nice idea! What about adding an "Auto-hide" option also?

P.

The Tint2 panel already has an auto-hide option available from the right-click menu.

Chris

[PPC]

The Tint2 panel already has an auto-hide option available from the right-click menu.

Chris

Thanks for the info, Chris! I know that. I was just messing with Jerry, because I developed a series of scripts to simplify management of the tint2 toolbar, including the time format of the click and auto-hide settings, manager launcher icons, among others. You can also adjust the format of the time displayed in the clock from the tint2 config GUI, but it's not intuitive - the reason to develop scripts that do the same thing that the official GUI does is so "ordinary" users can manage tint2 without entering the overkill of settings that the official GUI implies... (also, my scripts can be localized easily)

P.

[Jerry3904]

Your 12/24 script gave me the idea of putting it on a button, but the code was completely rewritten by fehlix.

[ceeslans]

Hum... This sound like a very nice idea! What about adding an "Auto-hide" option also?

P.

The Tint2 panel already has an auto-hide option available from the right-click menu.

Chris

That option will only set the default tint2 (~/.config/tint2/tint2rc) to autohide. It doesn't touch any of the other 'named' tint2rc's in the tint2 config directory...

[Jerry3904]

That's true of PPC's as well. We have started a "More" button that would make use of the Tint2 Manager code to change a common trait for any selected config. Won't be available soon...