Title: [226661] trunk/Tools
- Revision
- 226661
- Author
- [email protected]
- Date
- 2018-01-09 15:43:41 -0800 (Tue, 09 Jan 2018)
Log Message
Give some slack in display-profiler-outputs computation of the terminal window's number of columns
https://bugs.webkit.org/show_bug.cgi?id=181449
Reviewed by JF Bastien.
This allows me to Cmd+f in my terminal to search for things without
having the results become misaligned.
* Scripts/display-profiler-output:
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (226660 => 226661)
--- trunk/Tools/ChangeLog 2018-01-09 23:31:57 UTC (rev 226660)
+++ trunk/Tools/ChangeLog 2018-01-09 23:43:41 UTC (rev 226661)
@@ -1,3 +1,15 @@
+2018-01-09 Saam Barati <[email protected]>
+
+ Give some slack in display-profiler-outputs computation of the terminal window's number of columns
+ https://bugs.webkit.org/show_bug.cgi?id=181449
+
+ Reviewed by JF Bastien.
+
+ This allows me to Cmd+f in my terminal to search for things without
+ having the results become misaligned.
+
+ * Scripts/display-profiler-output:
+
2018-01-09 Basuke Suzuki <[email protected]>
[webkitpy] PlatformInfo should have default argument for casual use
Modified: trunk/Tools/Scripts/display-profiler-output (226660 => 226661)
--- trunk/Tools/Scripts/display-profiler-output 2018-01-09 23:31:57 UTC (rev 226660)
+++ trunk/Tools/Scripts/display-profiler-output 2018-01-09 23:43:41 UTC (rev 226661)
@@ -539,7 +539,7 @@
def screenWidth
if $stdin.tty?
- HighLine::SystemExtensions.terminal_size[0]
+ HighLine::SystemExtensions.terminal_size[0] - 3
else
200
end
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
