tag:blogger.com,1999:blog-8781383461061929571.post6848187203659163279..comments2024-03-14T09:08:19.035-04:00Comments on OR in an OB World: Do Gremlins Find Mint Tasty?Paul A. Rubinhttp://www.blogger.com/profile/05801891157261357482noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-8781383461061929571.post-64436409939883702602011-07-14T10:08:07.608-04:002011-07-14T10:08:07.608-04:00I think I might (stress "might") have an...I think I might (stress "might") have an answer to the Window Decorations problem. The default key bindings for Compiz include binding alt+space to "Window Menu". Alt+space is an easy accidental hit for fumble-fingered me, and it appears that, at least in some programs, if I type alt-space it causes decorations to turn off (globally), without changing the window decoration setting in the Compiz manager. (Some programs grab alt+space before it gets to Compiz.)<br /><br />So I went into the CompizConfig Settings Manager, clicked General Options, picked the Key bindings tab, disabled the keyboard binding for Window Menu, and alt+space no longer hammers the window decorations. Only time will tell if that was in truth the source of the random misadventures with decorations.Paul A. Rubinhttps://www.blogger.com/profile/05801891157261357482noreply@blogger.comtag:blogger.com,1999:blog-8781383461061929571.post-90532873130001492932011-06-25T13:57:57.918-04:002011-06-25T13:57:57.918-04:00The weirdness continues: I just now booted my home...The weirdness continues: I just now booted my home PC (Katya 64-bit) and the window decorations (minimize/maximize/close) were gone. Thinking this was a bug introduced by the latest updates (done this morning), I checked the Compiz configuration settings in Control Center ... and Window Decorations were turned on. So Compiz was just ignoring them? Anyway, turning of decorations, closing Control Center, then going back and turning them on again fixed the problem.<br /><br />No show-stoppers so far, but Mint 11 is proving a whole lot buggier than any previous version of Mint that I used.Paul A. Rubinhttps://www.blogger.com/profile/05801891157261357482noreply@blogger.comtag:blogger.com,1999:blog-8781383461061929571.post-9574492369137129552011-06-22T19:22:48.713-04:002011-06-22T19:22:48.713-04:00Another small bit of dopiness: On the two 32-bit m...Another small bit of dopiness: On the two 32-bit machines (PC and laptop), Mint Menu does not display icons. They're present if you go to edit the menu, but when you click the Menu button to access the menu, no icons (or, more precisely, little tiny squares where icons should be). The 64-bit machine displays menu icons as expected. I figured out the problem today, with help from a web post. If you right click the menu button, select Preferences, and then look at the Applications, Favorites, Places and System tabs, you find on the 32-bit machines that the icon sizes are set to 3 pixels in one case and 2 pixels in the other cases. Boosting those settings to double-digit numbers cures the problem. I found appropriate settings at the bottom of <a href="http://forums.linuxmint.com/viewtopic.php?f=141&t=62092" rel="nofollow">http://forums.linuxmint.com/viewtopic.php?f=141&t=62092</a>.Paul A. Rubinhttps://www.blogger.com/profile/05801891157261357482noreply@blogger.com