5 ms·
Looks like the reason behind the move is that preferences UI has become incomprehensible ... which actually doesn't have anything to do with javascript. Perhaps
by holalala 13y ago
Looks like the reason behind the move is that preferences UI has become incomprehensible ... which actually doesn't have anything to do with javascript.
Perhaps a move towards Eclipse-like preferences would be a wiser choice?