Tomas Slusny 26daee6a2e Use correct widget when hiding minimap ...

When hiding minimap, there are 2 different widget IDs for respective
resizable mode configurations. Find proper one and hide it.

Fixes #976

Signed-off-by: Tomas Slusny <slusnucky@gmail.com>

2018-07-20 22:13:04 +02:00

..

src

Use correct widget when hiding minimap

2018-07-20 22:13:04 +02:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2018-07-19 11:13:12 +00:00