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/790

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 #790
   https://github.com/Mudlet/Mudlet/issues/790

** 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/1489684

Title:
  get/setMainWindowSize different heights

Status in Mudlet:
  Opinion

Bug description:
  Mudlet 3.0 delta
  Windows 10 64 bit

  If I call setMainWindowSize() with the height from
  getMainWindowSize(), the main window shrinks by about 50 pixels (the
  size of the toolbar + command prompt?)

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