id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
553	keyboard shortcut for php browser refresh	xpavp03	scorphus	"{{{
Hi,
When debugging a library I don't want to see the library itself in PHP browser. I need to see a file that uses it.

So I'd appreciate either an option to refresh whatever page is currently displayed in PHP browser or/and a possibility to a define keyboard shortcut for php browser refresh.

Thanks.
Petr 'PePa' Pavel
}}}"	Feature Requests	assigned	5	1.3.0	PHP Browser	1.2.x	None	browser,refresh, sticky, key