Hi Guys, Has anyone made any progress on bug 179157 https://bugs.eclipse.org/bugs/show_bug.cgi?id=179157 or at least thought about it?
I think it's important because it represents a rather big hole in the design of the TPTP GUI plugins. If TPTPs own GUI can't work out a nice way to get updates from the profiling and update its view how is anyone else meant to do any better? Regards, Neil _______________________________________________ tptp-tracing-profiling-tools-dev mailing list tptp-tracing-profiling-tools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev
