lennart-k / gnome-rounded-corners

The most useful GNOME extension on the planet. Rounded corners offer innovative advantages like less screen real estate. Saves energy on OLED screens since less pixels are lit.
GNU General Public License v2.0
27 stars 8 forks source link

Check if monitor object has correct index property #2

Closed oae closed 5 years ago

oae commented 5 years ago

Fixes #1

In multi-monitor setup, monitor.index can be undefined and it causes an empty square to be created. A simple if check solves it.