| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-10-25 | Added missing copyright/license notice | Jaakko Keränen | |
| 2020-10-20 | Added quote indicator preference | Jaakko Keränen | |
| Also, added a command that gets posted when the mouse exits or enters the window area. This lets the hover outline to be updated accordingly. | |||
| 2020-10-11 | Remember which Preferences tab is open | Jaakko Keränen | |
| 2020-10-11 | Added a preference for heading font | Jaakko Keränen | |
| Body and heading fonts can be selected separately. | |||
| 2020-09-26 | Preferences: Added side icon, hover outline | Jaakko Keränen | |
| 2020-09-25 | Document side elements; hover outline | Jaakko Keränen | |
| 2020-09-21 | Added Prefs; placeholders for new options | Jaakko Keränen | |
 |
index : lagrange.git | |
| summaryrefslogtreecommitdiff |