On 2017-06-03 16:22, David Nadlinger wrote:
We could also finally fix the frontend to get around this. At DConf 2015, Walter officially agreed that this is a bug that needs fixing. ;)
That would be nice. -- /Jacob Carlborg
Jacob Carlborg via Digitalmars-d-learn Sat, 03 Jun 2017 07:37:06 -0700
On 2017-06-03 16:22, David Nadlinger wrote:
We could also finally fix the frontend to get around this. At DConf 2015, Walter officially agreed that this is a bug that needs fixing. ;)
That would be nice. -- /Jacob Carlborg