Linux Mint 工作區切換時間

我使用 Cinnamon 工作區切換器。一切都還好，只是視覺效果太快了。

是否可以設置工作區切換效果的持續時間？

Linux Mint 17.2

這很複雜：是也不是。

是的，可以通過配置在 Cinnamon 工作區切換器的原始碼中找到的某些變數來實現。不，因為它沒有按預期工作。

切換時間是硬編碼的

關於工作區切換時間的唯一線索是在 GitHub 儲存庫中找到的，其中維護了 Cinnamon 的原始碼。2013 年末一位投稿人的評論就是線索。

$$ … $$啟用效果時，有一個硬編碼的 0.25 秒動畫用於切換工作區。

現在我們知道動畫是硬編碼的，但是沒有說明註釋實際上是指原始碼的哪一部分。但是，在儲存庫中搜尋會在原始碼目錄中包含此位置的結果。

目錄路徑/usr/share/cinnamon/js/ui/適用於已安裝在本地電腦上的 Linux Mint 中的 Cinnamon。目錄中有兩個似乎相關的文件。

1. workspace.js用線const FOCUS_ANIMATION_TIME = 0.15;
2. workspacesView.js用線const WORKSPACE_SWITCH_TIME = 0.25;

通過與“.25 秒”註釋比較，相關文件最有可能與文件中使用的值workspacesView.js相符0.25。另一行 with0.15已被完全刪除。

在 Cinnamon 中手動配置

Cinnamon 基於 GTK+ 3，類似於 GNOME 3 的工作方式。這意味著，一些原始碼是用 JavaScript 編寫的。Cinnamon 工作區切換器就是其中之一。用 JavaScript 編寫的原始碼無需編譯即可執行，因此所做的任何更改都可以立即應用。

進行更改的四個簡單步驟：

1. 在具有 root 或 sudo 權限的文本編輯器中打開 JavaScript 文件。
2. 將常量值更改為較大的值以獲得較慢的動畫，反之亦然。
3. 保存文件。
4. 重新啟動 Cinnamon（按Alt+ F2，然後按R）Enter。

最後，使用者可以測試和觀察對動畫所做的更改。

沒有按預期工作

工作區切換時間：JavaScript 文件中workspacesView.js的常量值從 更改0.25為3.25或任何值的選擇。但這似乎不起作用：我觀察到沒有區別，無論是使用快捷鍵還是使用工作區切換器小程序。

我有一個對我有用的證明，即更改具有Ctrl+ Alt+Down鍵的鍵盤快捷鍵的切換比例的動畫持續時間。

// Time for initial animation going into Overview mode
const ANIMATION_TIME = 0.25;

Toggle scale time : JavaScript 文件是overview.js和常量值從0.25到3.25類似的變化。這一次，這四個簡單的步驟將導致成功的、更長的切換比例動畫。在 3.25 秒時，我以慢動作觀察結果。

如果所做的更改是成功的，那麼人們肯定會注意到。

免責聲明：此答案假定使用者已在 Cinnamon 中啟用桌面效果。轉到系統設置 > 外觀 - 效果。尋找“啟用效果”或類似選項，並確保它已打開或選中。

如果說明不起作用，則意味著架構已被棄用，或者其他依賴項阻止應用更改。其他人可能有更好的答案。

在 Linux Mint 17 (Qiana) 中使用 Cinnamon 2.2 進行測試，在 Linux Mint Debian Edition 3 (Cindy) 中使用 Cinnamon 3.8 進行測試。還沒有按預期工作。

我覺得切換工作區的動畫很煩人。所以，在 Cinnamon 3.0.7 中，我備份了

/usr/share/cinnamon/js/ui/windowManager.js

並編輯

const WINDOW_ANIMATION_TIME = 0.25;

到

const WINDOW_ANIMATION_TIME = 0;

然後按Alt+F2重新啟動肉桂，輸入r和Enter

您可以設置更大的數字以使動畫變慢。

引用自：https://unix.stackexchange.com/questions/245403