search

as / a

A graphical text editor
BSD 3-Clause "New" or "Revised" License
347 stars 25 forks source link

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

Open as opened 6 years ago

as commented 6 years ago

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