Commit [38b395] Maximize Restore History

Improved trace when text of element not available

JP Rosen JP Rosen 2013-08-08

changed src/thick_queries.adb
changed src/thick_queries.ads
changed src/utilities.adb
src/thick_queries.adb Diff Switch to side-by-side view
Loading...
src/thick_queries.ads Diff Switch to side-by-side view
Loading...
src/utilities.adb Diff Switch to side-by-side view
Loading...