This repository was archived by the owner on Jan 22, 2022. It is now read-only.

Auto hide the bottom edge hint#332

Closed

kugiigi wants to merge 1 commit intoubports:xenialfrom

kugiigi:xenial_-_bottomhinthide

Commits on Jul 7, 2020

implemented auto hide of bottom hint
kugiigi
committed