a icon indicating copy to clipboard operation
a copied to clipboard
verified publisher icon as

a: scroll: wheel+ctrl should resize font based on context of the active window

Open as opened this issue 8 years ago • 0 comments

win -> win tag -> win col -> ∀ tag ∈ col grid -> ∀ col ∈ grid

as avatar Sep 16 '17 19:09 as