As I'm sure the title suggests, I'm having trouble with the menu Cinnamon uses to launch programs. First off, I don't normally use the default menu, as it takes up more space on my computer's tiny, low-res screen then I have room for (in other words, I can't see the top of the menu!). So, I installed a Windows 7-like menu.
However, As of recent months, Cinnamon instantly crashes whenever I use any menu other than the default. I've tried reinstalling my prefered menu, but that didn't help.
I've also changed the permissions on said menu's files (
~/.local/share/cinnamon/applets/cinnamon7Menu@physics) to allow any user to access them, no dice.
I even tried removing the menu completely, and reinstalling it from scratch. Reinstalling Cinnamon itself (and Nemo) was also unhelpful.
Also, another issue I'm having is that I cannot get the usual trio of options that appear when you right-click a program inside the menu: Add to panel, Add to desktop, and Add to favorites. This issue isn't a big deal (since the menu items can be dragged and dropped) but I think it may be related to the above issue.
I don't see any "Menu" options inside cinnamon-settings on this particular computer. My other two Ubuntu+cinnamon machines show this exact same option. I'm at a loss.
I installed Cinnamon from the
ppa:gwendal-lebihan-dev/cinnamon-stable PPA. I'm running Ubuntu 13.10, i386.