Page 23 of 24

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 1:13 pm
by davidvj
Cinnamon appears to sit 'comfortably' on my system now excepting for the problem on my high-res (1920 x 1200) screen that leaves me with a panel with tiny tiny icons.
Will panel width be a problem that is soon to be addressed?

Thank you;

David

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 2:21 pm
by cwwgateway
davidvj wrote:Cinnamon appears to sit 'comfortably' on my system now excepting for the problem on my high-res (1920 x 1200) screen that leaves me with a panel with tiny tiny icons.
Will panel width be a problem that is soon to be addressed?

Thank you;

David
I hope it will. One solution is to use the theme Odin with the panel on the top or to edit the css file yourself with a top panel (changing the panel width doesn't work with the panel on the bottom). Here is the link to the Odin theme: http://cinnamon-spices.linuxmint.com/themes/view/86.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 3:11 pm
by davidvj
REF: PANEL DEPTH
Thank you for the fast and positive response .. the top panel is ideal for me; however
I have switched to the top panel
Installed Odin
Rebooted the system
Turned on the panel edit
I still appear to be unable to modify the panel depth ... is there some special key combination that I am missing ... have tried all comb. of Ctrl/Alt/Win with Right-Click.

Thanks;

David

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 7:49 pm
by cwwgateway
davidvj wrote:REF: PANEL DEPTH
Thank you for the fast and positive response .. the top panel is ideal for me; however
I have switched to the top panel
Installed Odin
Rebooted the system
Turned on the panel edit
I still appear to be unable to modify the panel depth ... is there some special key combination that I am missing ... have tried all comb. of Ctrl/Alt/Win with Right-Click.

Thanks;

David
Sorry, Odin increases the panel width from 24 px to 32 px (IIRC). You have to open Cinnamon settings and select the theme to use Odin. Here's how to edit the panel width manually - http://forums.linuxmint.com/viewtopic.p ... 31#p586531

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 10:38 pm
by davidvj
cwwgateway wrote:
davidvj wrote:REF: PANEL DEPTH
Thank you for the fast and positive response .. the top panel is ideal for me; however
I have switched to the top panel
Installed Odin
Rebooted the system
Turned on the panel edit
I still appear to be unable to modify the panel depth ... is there some special key combination that I am missing ... have tried all comb. of Ctrl/Alt/Win with Right-Click.

Thanks;

David
Sorry, Odin increases the panel width from 24 px to 32 px (IIRC). You have to open Cinnamon settings and select the theme to use Odin. Here's how to edit the panel width manually - http://forums.linuxmint.com/viewtopic.p ... 31#p586531

Odin does indeed in crease the panel width using this reference ... however, that is all that it does; all of the icons remain un-scaled and look rather silly.
I have now reset to the default and hope to find another solution.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 10:49 pm
by bimsebasse
As Clem has noted there is some confusion as to what a Cinnamon theme does, it doesn't change your whole desktop including icons and windows, it just changes the shell appearance (panels, panel popup menus and some prompts), for icons and window themes you have to go into "Other settings" under the Themes tab in Cinnamon settings.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 10:56 pm
by davidvj
davidvj wrote:
cwwgateway wrote:
davidvj wrote:REF: PANEL DEPTH
Thank you for the fast and positive response .. the top panel is ideal for me; however
I have switched to the top panel
Installed Odin
Rebooted the system
Turned on the panel edit
I still appear to be unable to modify the panel depth ... is there some special key combination that I am missing ... have tried all comb. of Ctrl/Alt/Win with Right-Click.

Thanks;

David
Sorry, Odin increases the panel width from 24 px to 32 px (IIRC). You have to open Cinnamon settings and select the theme to use Odin. Here's how to edit the panel width manually - http://forums.linuxmint.com/viewtopic.p ... 31#p586531
Added information:
The .css file actually indicates that the font size not the panel size controls (scales) the appearance. In the light of that I tried changing the default font (Odin top) from 9 to 12 px.
This did absolutely nothing. ... Back to square one.

David
Odin does indeed in crease the panel width using this reference ... however, that is all that it does; all of the icons remain un-scaled and look rather silly.
I have now reset to the default and hope to find another solution.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 03, 2012 11:19 pm
by bimsebasse
You need to change font more than one place in the .css to fully apply a font change - it's not particularly easy. The font parameter given at "Stage" level only applies to elements which don't have font specified further down in the file.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Mon Jun 04, 2012 12:37 pm
by davidvj
bimsebasse wrote:You need to change font more than one place in the .css to fully apply a font change - it's not particularly easy. The font parameter given at "Stage" level only applies to elements which don't have font specified further down in the file.
Did all that ... changed every single instance of 'font-size' (and there were a large number) ... scaled them all proportionately, reset everything, full shutdown and restart ... the end result was absolutely nothing changed.

Will now try to forget the time lost and use the basic Gnome until there is a more satisfactory development in this area.

Shame ... somebody fixed it and somebody unfortunately broke it

David

Re: Another DE option for Mint 12 - Cinnamon

Posted: Mon Jun 04, 2012 9:22 pm
by bimsebasse
The only explanation to that is that your're not using the theme you tweaked or that you're not in Cinnamon. I have never experienced a font change not taking effect and I'm in all modesty Danish Cinnamon Theme Fiddler champion 2012.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Wed Jun 06, 2012 8:01 pm
by davidvj
Bimsebasse: ... since, with all modesty, you are " Danish Cinnamon Theme Fiddler champion 2012." would it be possible that you already have on hand a panel with substantially larger width than offered in the current selection? I would be open to either a top or bottom .... just so long as the icons are large enough to distinguish ;=))
There must be a wider panel out there somewhere, says he hopefully.

Thanks;

David

Re: Another DE option for Mint 12 - Cinnamon

Posted: Thu Jun 07, 2012 11:04 am
by jessy
The only panel i have found that has somewhat increased fonts is in the cinnamon-gnome theme.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 10, 2012 9:06 am
by bimsebasse
Yes, the Gnome theme has large fonts.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 10, 2012 12:32 pm
by davidvj
Must be something that I am not understanding ......
I see little difference as I change themes. Fancy names but not much to show. Being able to directly edit the colours, fonts and icons would have been IMO a much more realistic way to steer the ship.
Yes Gnome has slightly larger fonts but the tiny tiny icons on the panel bar remain at an unreasonable size.
I can only imagine that the designers did their work on a low-rez tablet!

Hope somebody, eventually, understands the problem.

David

Re: Another DE option for Mint 12 - Cinnamon

Posted: Sun Jun 10, 2012 12:40 pm
by cwwgateway
davidvj wrote:Must be something that I am not understanding ......
I see little difference as I change themes. Fancy names but not much to show. Being able to directly edit the colours, fonts and icons would have been IMO a much more realistic way to steer the ship.
Yes Gnome has slightly larger fonts but the tiny tiny icons on the panel bar remain at an unreasonable size.
I can only imagine that the designers did their work on a low-rez tablet!

Hope somebody, eventually, understands the problem.

David
David, the themes don't control the icon sizes. The theme designer simply cannot change the icon size using a theme.

Re: Another DE option for Mint 12 - Cinnamon

Posted: Wed Jun 13, 2012 10:41 am
by bimsebasse
Next major update is on the way, Clem just updated Cinnamon's news file:

https://github.com/linuxmint/Cinnamon/c ... dfa93fae88

(skip the pink and scroll down to the green for the fun stuff)

Re: Another DE option for Mint 12 - Cinnamon

Posted: Wed Jun 13, 2012 2:12 pm
by davidvj
Trying to find where to get it ......

Will this be an automatic update?

David

Re: Another DE option for Mint 12 - Cinnamon

Posted: Wed Jun 13, 2012 2:21 pm
by bimsebasse
It's not out yet, it will come to you eventually through Mint's repositories (have no clue about when).

Re: Another DE option for Mint 12 - Cinnamon

Posted: Tue Jun 19, 2012 10:27 am
by abnvolk
bimsebasse wrote: (skip the pink and scroll down to the green for the fun stuff)
Configurable Panel height! Cool! :D

Re: Another DE option for Mint 12 - Cinnamon

Posted: Tue Jun 19, 2012 10:35 am
by bimsebasse
Yup, and it works just as it should: