GitHub repository: rliang/gnome-shell-extension-raise-covered
Primary language: JavaScript
Created: 2017-03-09T03:44:10Z
Description: Automatically raises windows covered by maximized ones.