Changes between Initial Version and Version 1 of Ticket #1862, comment 1
- Timestamp:
- Mar 11, 2013, 1:28:37 PM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #1862, comment 1
initial v1 1 What if you want the HTTP profiler enabled but not the in-game profiler display? We could always opt for a config setting, as with the new JS debugger, or some combination of hotkey + config setting.1 What if you want the HTTP profiler enabled but not the in-game profiler display? Using another hotkey for that seems messy and takes up a valuable hotkey we could use for something else. We could always opt for a config setting, as with the new JS debugger, or some combination of hotkey + config setting.