set_margin


Description:


public void set_margin (Window window, Edge edge, int margin_size)

Set the margin for a specific edge of a window.

Effects both surface's distance from the edge and its exclusive zone size (if auto exclusive zone enabled).

Default is 0 for each Edge

Parameters:

window

A layer surface.

edge

The Edge for which to set the margin.

margin_size

The margin for edge to be set.


Namespace: GtkLayerShell