3 commits

Author	SHA1	Message	Date
Rémi Verschelde	49c065d29c	Refactoring: rename tools/editor/ to editor/ ... The other subfolders of tools/ had already been moved to either editor/, misc/ or thirdparty/, so the hiding the editor code that deep was no longer meaningful.	2017-03-05 14:21:25 +01:00
Daniel J. Ramirez	b8ec4a3e02	New distraction free mode icon	2016-09-18 10:19:02 -05:00
Juan Linietsky	08b096ccc2	Distraction free icon was missing	2016-09-13 09:48:12 -03:00