G'day 66.....personally.....I would just reboot.......and keep going.
I've found this to happen on Cinnamon myself, one of three reasons why I stuck with MATE instead. Just keep pounding.
One of the others is that the wallpaper comes flying out at me, rather than simply being there.
Finally, the VMware issue, had troubles with running VMware Workstation Player on Linux MInt Cinnamon 17.2 & .3 (the client would crash). so threw in the towel, probably for the last time. Have tried every Cinnamon version since 13, and while the appearance is better than in 2012 when Mint Cinnamon 13 was released, is still dogged by some stability issues. It could be the hardware configuration, though have tried on various machines, including one AMD model. And my main PC is no slouch (specs in my sig & will include a Linux type here), so should be an easy ride for Cinnamon to run on. I just don't get it that MATE runs near perfect & Cinnamon runs bad on the same PC.
cat@cat-XPS-8700 ~ $ inxi -Fx
System: Host: cat-XPS-8700 Kernel: 3.19.0-32-generic x86_64 (64 bit gcc: 4.8.2)
Desktop: MATE 1.12.0 (Gtk 3.10.8~8+qiana)
Distro: Linux Mint 17.3 Rosa
Machine: System: Dell product: XPS 8700
Mobo: Dell model: 0KWVT8 v: A00 Bios: Dell v: A11 date: 07/09/2015
CPU: Quad core Intel Core i7-4790K (-HT-MCP-) cache: 8192 KB
flags: (lm nx sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx) bmips: 31927
clock speeds: max: 4001 MHz 1: 4001 MHz 2: 4001 MHz 3: 4001 MHz
4: 4001 MHz 5: 4001 MHz 6: 4001 MHz 7: 4001 MHz 8: 4001 MHz
Graphics: Card: NVIDIA GM206 [GeForce GTX 960] bus-ID: 01:00.0
Display Server: X.Org 1.17.1 drivers: nvidia (unloaded: fbdev,vesa,nouveau)
GLX Renderer: GeForce GTX 960/PCIe/SSE2
GLX Version: 4.5.0 NVIDIA 364.19 Direct Rendering: Yes
Audio: Card-1 Intel 8 Series/C220 Series High Definition Audio Controller
driver: snd_hda_intel bus-ID: 00:1b.0
Card-2 NVIDIA Device 0fba driver: snd_hda_intel bus-ID: 01:00.1
Card-3 Logitech Webcam B500 driver: USB Audio usb-ID: 001-003
Sound: Advanced Linux Sound Architecture v: k3.19.0-32-generic
Network: Card-1: Realtek RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller
driver: r8169 v: 2.3LK-NAPI port: d000 bus-ID: 03:00.0
IF: eth0 state: up speed: 1000 Mbps duplex: full
Card-2: Intel Centrino Advanced-N 6235
driver: iwlwifi v: in-tree: bus-ID: 04:00.0
IF: wlan0 state: down mac: c4:85:08:40:98:27
Drives: HDD Total Size: 1768.4GB (8.9% used)
ID-1: /dev/sda model: Samsung_SSD_850 size: 512.1GB
ID-2: /dev/sdb model: Crucial_CT256M55 size: 256.1GB
ID-3: /dev/sdc model: ST1000DM003 size: 1000.2GB
Partition: ID-1: / size: 40G used: 8.3G (23%) fs: ext4 dev: /dev/sdb2
ID-2: /home size: 394G used: 135G (36%) fs: ext4 dev: /dev/sdc1
ID-3: swap-1 size: 4.33GB used: 0.00GB (0%) fs: swap dev: /dev/sdc8
RAID: No RAID devices: /proc/mdstat, md_mod kernel module present
Sensors: System Temperatures: cpu: 29.8C mobo: 27.8C gpu: 0.0:31C
Fan Speeds (in rpm): cpu: N/A
Info: Processes: 271 Uptime: 3:10 Memory: 3111.9/32126.0MB
Init: Upstart runlevel: 2 Gcc sys: 4.8.4
Client: Shell (bash 4.3.111) inxi: 2.2.28
cat@cat-XPS-8700 ~ $
Who said that the i7-4790K runs hot on stock cooler? 3 hours & 10 minutes up time & running at 29.8C with several browser pages open, there's no justifying anyone stating that, when they do, won't offer proof as I have above.
I've been reading since Mint 13 that Cinnamon is maturing or has matured since 2012, sounds like a broken record now. Don't know if the authors of the articles are trying to convince us, or themselves.