commit | d52b945e9bc33ddddf0dabba386d1d34b4bbe77f | [log] [tgz] |
---|---|---|
author | S.John <stefan.john@uni-marburg.de> | Tue Sep 05 14:11:06 2017 +0200 |
committer | S.John <stefan.john@uni-marburg.de> | Tue Sep 05 14:23:41 2017 +0200 |
tree | af3b45c76010b8df147d9ae2a9124c9fed7ae04b | |
parent | c232ffc0eb89a018c309e4a1fe85668c9724f12d [diff] |
Adapted NON-generated methods in HenshinEditor to changes in the handling of PropertySheetPages. Signed-off-by: S.John <stefan.john@uni-marburg.de>