Colin Walters 2ddc7cf00f Only enable internal commands if developer_tools is true
'r' is a bit too accidentally-hittable for outside of developer usage.
However it will still be enabled when developer_tools is true.

https://bugzilla.gnome.org/show_bug.cgi?id=595116
2009-09-15 16:14:36 -04:00
..
2009-09-11 17:23:42 -04:00
2009-09-11 17:23:42 -04:00
2009-09-11 17:23:42 -04:00
2009-09-11 17:23:42 -04:00