This *removes* underscores, but it should duplicate underscores instead. With this patch, instead of the desired "foo_bar.com" appearing when right-clicking the empty space next to notebook tabs, "foobar.com" is shown (the old behavior is "foo<u>b</u>ar.com", if you mentally interpret the markup).
This patch is a lot simpler than what I had, which is a plus!
This *removes* underscores, but it should duplicate underscores instead. With this patch, instead of the desired "foo_bar.com" appearing when right-clicking the empty space next to notebook tabs, "foobar.com" is shown (the old behavior is "foo<u> b</u>ar. com", if you mentally interpret the markup).
This patch is a lot simpler than what I had, which is a plus!