4 Commits

Author	SHA1	Message	Date
jean-pierre charras	87a220b8e2	more cleanup about removing useless include	2020-10-02 14:51:11 +02:00
Ian McInerney	e662e33104	Store the current filename in the history on close	2020-05-17 00:12:49 +01:00
jean-pierre charras	96935e0a7e	Pl_editor rework: refinements in Design inspector.	2019-06-15 09:58:23 +02:00
jean-pierre charras	6dc8e96a34	pl_editor rework: add a design inspector (similar to what was existing previously, but as a dialog) ... Wip.	2019-06-14 20:48:50 +02:00