View Single Post
Old 11-01-2017, 03:47 PM   #7
BetterRed
null operator (he/him)
BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.BetterRed ought to be getting tired of karma fortunes by now.
 
Posts: 21,741
Karma: 30237526
Join Date: Mar 2012
Location: Sydney Australia
Device: none
@FrenchGuy - 'polish' as is 'polir', not 'polish' as in 'polonais'

It's the word Kovid uses for 'cleaning, tidying, finishing...'. Might play a role in 'beautifying', there's an auto-beautify setting in the Edit preferences.

Kovid was able to reuse a lot of his existing code when developing the editor - one of the reasons he produced as quick as he did - apart from the fact that it was, according to him, 'fun' to do.

BR

Last edited by BetterRed; 11-01-2017 at 03:53 PM.
BetterRed is online now   Reply With Quote