Ubuntu 18.04のシステムトレイにうまく統合されるコピー/貼り付けマネージャー(コピー履歴の追跡用)はありますか?
「 Clipboard Indicator 」と呼ばれる GNOME Shell拡張 を使用できます。それは
Gnome-ShellのClipboard Manager拡張機能-クリップボードインジケーターをトップパネルに追加し、クリップボードの履歴をキャッシュします。