mudlet-makers team mailing list archive

[Vadim Peretokin <vperetokin@xxxxxxxxx>]

Migrating issues to Github, please follow the new discussion here:
https://github.com/Mudlet/Mudlet/issues/527

This issue needs to be closed and there is no appropriate status, so
will set it to "Opinion" just for migration purposes.

** Bug watch added: github.com/Mudlet/Mudlet/issues #527
   https://github.com/Mudlet/Mudlet/issues/527

** Changed in: mudlet
       Status: New => Opinion

-- 
You received this bug notification because you are a member of Mudlet
Makers, which is subscribed to Mudlet.
https://bugs.launchpad.net/bugs/1095560

Title:
  Can't set a negative border in preferences screen

Status in Mudlet:
  Opinion

Bug description:
  While you can set a negative border via the preferences screen (which
  can be very useful - for example to hide the scrollbar if you do not
  need one), it's not possible to do so via the preferences dialog - it
  accepts values only at 0+.

To manage notifications about this bug go to:
https://bugs.launchpad.net/mudlet/+bug/1095560/+subscriptions