[rednotebook] github.com/kathenas/rednoteb… Jendrik Seipp - Hide tags panel completely by default instead of only minimizing it.