Roxterm
update
this was true before LXM18
WM : there are some terminal issues on Cinnamon with the default terminal.
which makes using in certain circumstances apita.
Using Roxterm instead is a work around and not a fully working fix
http://roxterm.sourceforge.net
https://packages.debian.org/jessie/roxterm
\
goal ROXTerm :
an advanced alternative to Gnome Terminal,
without the burden of Gnome-related dependencies.
with a lot of familiar features: support for keyboard shortcuts, color schemes, user profiles, and session saving.
but also a practical pop-up menu that lets you hide
the menu bar and maximize screen space. Furthermore, ROXTerm can
recognize file paths, SSH hostnames, email addresses, and web URLs. You
can either click them to open/access the destination, or press Ctrl and
drag the link into another application.
Speaking of dragging, it’s also possible to drag-and-drop text and files
into the ROXTerm application window. Text gets pasted into the terminal,
while files show up as a path that you can manipulate further.
wm : i dislkike the color and layout though