Changes between Version 3 and Version 13 of Ticket #1862


Ignore:
Timestamp:
Jul 26, 2014, 6:03:24 PM (10 years ago)
Author:
giannis
Comment:

Please review my patch. The patch is based on previous work by metalhead and other suggestions from the comments

Overview:

  • GPU profiler and HTTP server are now enabled and shut down together.
  • Ctrl+F11 to toggle both GPU mode and HTTP server
  • F11 still works for the in- game profiler
  • added messages in terminal when a part of the profiler is enabled/disabled.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #1862

    • Property Summary profiler2: can't be disabled in game and other suggestions → [PATCH] profiler2: can't be disabled in game and other suggestions
    • Property Priority Should Have → Nice to Have
    • Property Milestone Backlog → Alpha 17
    • Property Keywords simple patch review added
    • Property Type defect → enhancement

  • Ticket #1862 – Description

    v3 v13  
    11When pressing F11 HTTP profiler get enabled on port 8000 along with on-screen profiler. Pressing F11 again more time disable the on-screen profiler but not the HTTP one. This is its main option:
    2 
    32{{{
    43hotkey.profile2.enable = "F11"              ; Enable HTTP/GPU modes for new profiler
    54}}}
    6 
    75I'd suggest these:
    86* change the key for HTTP profiler (Alt+F11 or Ctrl+F11 ?) so that one can enable the on-screen profiler without the HTTP one;