~tapaal-contributor/tapaal/autodetect-lens-check2

Committer: Jiri Srba
Date: 2020-08-11 11:43:41 UTC
mfrom: <a title="Merged From 1074.2.15" href="/~tapaal-contributor/tapaal/autodetect-lens-check2/revision/1074.2.15">(1074.2.15 change-net-feature)
Revision ID: srba.jiri@gmail.com-20200811114341-22xuy3a9iwgwvdxb

merged in lp:~tapaal-contributor/tapaal/change-net-features allowing to change net features

added added

removed removed

void showDelayEnabledTransitions(boolean showDelayEnabledTransitions);

void setResizeingDefault();

void changeTimeFeature(boolean isTime);

void changeGameFeature(boolean isGame);

}