Originally Posted by ondoho
as said before in this thread, you really should check out what your window manager is capable of.
i don't know what wm cinnamon uses.
has an option -m
that tells about your window manager.
My Linux Mint-15 Cinnamon workstation says that the window manager is "Muffin" or "Mutter". It seems that muffin
is the Mint or Cinnamon fork of the Gnome window manager mutter
. It has been used since Cinnamon v1.2 according to Wikipedia.
I also have a man page:
prompt$ man muffin
This manual page documents briefly muffin.
muffin is a minimal X window manager aimed at nontechnical users
and is designed to integrate well with the GNOME desktop.
muffin lacks some features that may be expected by traditional
UNIX or other technical users; these users may want to
investigate other available window managers for use with GNOME
I found this reference Cinnamon v1.8 that says:
Cinnamon is a user interface. It is a fork of GNOME Shell, initially developed by (and for) Linux Mint. It provides a usable user environment based on the desktop metaphor, like GNOME 2. Cinnamon uses Muffin, a fork of the GNOME 3 window manager Mutter, as its window manager from Cinnamon 1.2 onwards.
Bonne Année 2014,