回答此问题可获得 20 贡献值,回答如果被采纳可获得 50 分。
<p>它<a href="https://gist.github.com/johnlane/351adff97df196add08a" rel="nofollow">can be done</a>使用python中的以下代码:</p>
<pre class="lang-js prettyprint-override"><code>topw = window.get_toplevel().window
topw.property_change("_NET_WM_STRUT","CARDINAL",32,gtk.gdk.PROP_MODE_REPLACE, [0, 0, bar_size, 0])
topw.property_change("_NET_WM_STRUT_PARTIAL","CARDINAL",32,gtk.gdk.PROP_MODE_REPLACE, [0, 0, bar_size, 0, 0, 0, 0, 0, x, x+width, 0, 0])
</code></pre>
<p>但是GJS中是否存在<code>property_change</code>结合?在</p>