Лагают анимации Linux Mint 19 Cinnamon

Ну по представленным данным можно посоветовать только два варианта: исправьте что бы не лагали, либо используй Windows.

Анимации не нужны. Тебе это твой компьютер говорит.

Это г*овнолинукс, здесь всегда что-то не работает или работает не так, как ожидалось.

Cinnamon на GNOME 3 основан, это нормально. Попробуй KDE или Mate там.

Хотя кому эти рюшечки нужны, действительно.

Cinnamon не основан на Gnome 3, KDE не поддерживается в Mint 19, видео в Gnome 3 у меня не «лагает» в Ubuntu 18.04 (правда, я сразу установил «проприетарный», как некоторые выражаются, драйвер для своего видеоадаптера AMD Radeon).

Вспомнить, установлен ли драйвер видеоадаптера.

Проприетарный — это официальный термин. Ну нужно же как-то отличать его от открытого, что по умолчанию.

И с этого надо было начинать.

Cinnamon не основан на Gnome 3

Cinnamon (от англ. cinnamon — корица) — свободная оболочка для среды рабочего стола GNOME, являющаяся ответвлением от кодовой базы GNOME ...

KDE не поддерживается в Mint 19

Если нет сборок с кедами это не значит, что их туда нельзя установить.

правда, я сразу установил «проприетарный», как некоторые выражаются, драйвер для своего видеоадаптера AMD Radeon

свободный работает лучше.

Тиринг подразумевается под «лагают»?

Жди выхода 4-й корицы. В ней обещали анимации сделать более плавными и быстрыми..

Да, в KDE анимации плавные