Would there be a way to add an cmd+R command to the webkit html output to reload? Say from the TODO window or from the Py?Mate window?
Or would that be another feature request? .. (sorry Allan)
dirk
On 9. Nov 2006, at 02:38, Dirk van Oosterbosch, IR labs wrote:
Would there be a way to add an cmd+R command to the webkit html output to reload? Say from the TODO window or from the Py?Mate window?
Or would that be another feature request? .. (sorry Allan)
That’d be a request -- it is planned though.