mipui

mipui copied to clipboard

amishne

amishne

Mobile mode is sometimes activated on devices with hover-enabled pointers

1

User reports mobile mode on > Kubuntu: 16.04 Google Chrome: 61.0.3163.100 (Official Build) (64-bit) JavaScript: V8 6.1.534.41 Flash: PepperFlash/27.0.0.130 However Firefox on the same system gives desktop mode. Chrome media...

amishne

Also think about oval walls.

amishne

Requires converting existing maps!

amishne

amishne

Allow extending separators to corners

1

amishne

For example, adding a window adds a wall but removing the wall does not remove the window.

amishne

amishne

amishne