Tue, 20 Sep 2016 14:44:39 +0300 Highlight whitespaces and adjust scroll-margin for gadict-mode.
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 20 Sep 2016 14:44:39 +0300] rev 1434
Highlight whitespaces and adjust scroll-margin for gadict-mode.
Sat, 17 Sep 2016 09:28:07 +0300 Fix docs.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 17 Sep 2016 09:28:07 +0300] rev 1433
Fix docs.
Sun, 11 Sep 2016 15:31:04 +0300 Fix: Warning: reference to free variable `python-indent'.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sun, 11 Sep 2016 15:31:04 +0300] rev 1432
Fix: Warning: reference to free variable `python-indent'.
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip