update _NET_WORKAREA on screen resize
markt markt
2 files changed,
3 insertions(+),
0 deletions(-)
M
src/Screen.cc
→
src/Screen.cc
@@ -2038,6 +2038,7 @@ m_root_theme->reconfigTheme();
// send resize notify m_resize_sig.notify(); + m_workspace_area_sig.notify(); }