Re: [dev] Fix for dwm crash due to emoji in window titles

2018-07-23 Thread Silvan Jegen
On Mon, Jul 23, 2018 at 9:31 AM, Hiltjo Posthuma wrote: > On Mon, Jul 23, 2018 at 08:34:53AM +0800, Kai Hendry wrote: >> On Thu, 19 Jul 2018, at 11:41 PM, Hiltjo Posthuma wrote: >> > It is not a fix, it will just ignore the error. >> >> Shouldn't https://en.wikipedia.org/wiki/Robustness_principle

Re: [dev] Fix for dwm crash due to emoji in window titles

2018-07-23 Thread Hiltjo Posthuma
On Mon, Jul 23, 2018 at 08:34:53AM +0800, Kai Hendry wrote: > On Thu, 19 Jul 2018, at 11:41 PM, Hiltjo Posthuma wrote: > > It is not a fix, it will just ignore the error. > > Shouldn't https://en.wikipedia.org/wiki/Robustness_principle apply? > Robustness is not ignoring errors. It should not ig