omar b9874a2423 Comments about obsoleted features version. Todo. Clarify tab bar initial offset (useful if we decide to remove the half-windowpadding clip margin).

2019-06-05 15:58:49 +02:00

329 KiB

Raw Blame History

View Raw