add_integer ("screen-left", 0, LEFT_TEXT, LEFT_LONGTEXT, true)
change_integer_range (-32768, 32767)
change_safe ()
- add_integer ("screen-top", 0, LEFT_TEXT, LEFT_LONGTEXT, true)
+ add_integer ("screen-top", 0, TOP_TEXT, TOP_LONGTEXT, true)
change_integer_range (-32768, 32767)
change_safe ()
- add_integer ("screen-width", 0, LEFT_TEXT, LEFT_LONGTEXT, true)
+ add_integer ("screen-width", 0, WIDTH_TEXT, WIDTH_LONGTEXT, true)
change_integer_range (0, 65535)
change_safe ()
- add_integer ("screen-height", 0, LEFT_TEXT, LEFT_LONGTEXT, true)
+ add_integer ("screen-height", 0, HEIGHT_TEXT, HEIGHT_LONGTEXT, true)
change_integer_range (0, 65535)
change_safe ()
add_bool ("screen-follow-mouse", false, FOLLOW_MOUSE_TEXT,