Cinnamon: テーマの画面の上端からのマージン#notificationcssプロパティを変更しても機能しない

これは、画面の上端からのマージンが実際のプロパティではないためです。 そのようなことはないので、シナモンはそれを無視しているだけです。 あなたが指摘した投稿は本当に古いです。 それ以来、状況は変わった可能性があります。

さて、このポップアップを移動して、最小化/最大化/閉じるボタンを超えないようにする方法はありますか？ 画面の右上隅にポップアップを配置するのは本当に面倒です...

//編集

わかりました。通知の配置を担当するコード/usr/share/cinnamon/js/ui/messageTray.jsを見つけました。

_onNotificationExpanded: function() {
    let expandedY = this._notification.actor.height - this._notificationBin.height;
    // Don't animate the notification to its new position if it has shrunk:
    // there will be a very visible "gap" that breaks the illusion.

    // This isn't really working at the moment, but it was just crashing before
    // if it encountered a critical notification.  expandedY is always 0.  For now
    // just make sure it's not covering the top panel if there is one.

    let monitor = Main.layoutManager.primaryMonitor;
    let panel = Main.panelManager.getPanel(0, false); // We only want the top panel in monitor 0
    let height = 5;
    if (panel)
        height += panel.actor.get_height();
    let newY = monitor.y + height + 50; // ADDED 50 HERE SO POPUP IS NOT OVER WINDOW CONTROLS

    if (this._notificationBin.y < expandedY)
        this._notificationBin.y = expandedY;
    else if (this._notification.y != expandedY)
        this._tween(this._notificationBin, '_notificationState', State.SHOWN,
                    { y: newY,
                      time: ANIMATION_TIME,
                      transition: 'easeOutQuad'
                    });

}、

このファイルは上書きされるため、シナモンの更新後に動作を停止します。

元の問題は存在すらしていないプロパティに関するものであり、通知を移動できることに関する他の未解決の問題があるため、これを閉じます。