fit-PC Users Forum
https://www.fit-pc.com/forum/

What is the default desktop for the mintbox pro?
https://www.fit-pc.com/forum/viewtopic.php?f=72&t=4657
Page 1 of 1

Author:  colinmcc [ Fri Dec 21, 2012 12:36 am ]
Post subject:  What is the default desktop for the mintbox pro?

What is the default desktop for the mint box pro?

Thanks..

Author:  gabrielh [ Fri Dec 21, 2012 8:48 am ]
Post subject:  Re: What is the default desktop for the mintbox pro?

It is Cinnamon.

Regards

Author:  colinmcc [ Fri Dec 21, 2012 8:30 pm ]
Post subject:  Re: What is the default desktop for the mintbox pro?

Thanks... I was wondering if it was actually something else.. Here's why:

I want to turn off the hotspot in the top left hand corner that switches desktops. Several times a day I move the mouse there when going to the file menu in Firefox for example, and if I overshoot the mouse pointer FF minimises and I have to re-open the desktop.

If I go to Menu >Preferences >Cinnamon Settings > Hot Corner, i see that 'Hot corner enabled' is ticked, and Hot corner position is Top Left.

I uncheck the Hot corner enabled box and close the dialogue, but the hot corner is still active in the top left corner of my screen.

If I go to Menu >Preferences >Cinnamon Settings > Hot Corner again I see that 'Hot corner enabled' is now not ticked which shows that the change was saved, but nothing has actually changed as far as the 'Hot corner' being dissabled. :(

Am I doing something wrong, shouldn't the Hot Corner now be dissabled? I have shut down and restarted the computer, but still have the active Hot Corner.. Since the GUI doesn't work, is there another way to turn the Hot Corner off?

Thanks,

Author:  colinmcc [ Fri Dec 21, 2012 8:46 pm ]
Post subject:  Re: What is the default desktop for the mintbox pro?

I just spent some time 'Gooling' this and find that has previously been reported as a Bug at Launchpad.

https://bugs.launchpad.net/linuxmint/+bug/1038180

So presumably affects all dual screen mintbox users... :?:

Page 1 of 1 All times are UTC
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/