Felipe Thome

Correlate titles with the search results

2

Hi! Is there a way to correlate the titles inside a document with the metadata in the search result? UPDATE: I just saw https://github.com/Mogztter/antora-lunr/blob/13e6afea4f63b9dad88ff4549f8d3403f15f24a5/lib/generate-index.js#L83, can you give a quick explanation...

Fix Ex 5 in the tutorial to match its expansion

3

The expansion of the example 5 in the tutorial, with sweet.js version 2.0.0, gives for me: ``` (function (bb8_5) { ; console.log(bb8_5.beep()); }(new Droid("BB-8", "orange"))); ``` So I added one...

[guide] Add a why quote in the 7.7 topic and remove comments

1

Related to #990 I removed the comment "No! We shouldn't mutate function arguments.", because it doesn't add any new information and added a "Why?" quote.

Revert a PR

4

Hi! Is there an easy way to revert a PR with bors since the github button `revert` doesn't show in PRs that were merged with `bors r+`?

Focus is not bringing the window to the front

4

When trying to focus a specific window with a Hotkey the window is not being brought to the front. It stays behind other windows. Is this the expected behavior? And...

When executing commands in the console and trying to expand the result the scroll is not being kept. The console scroll is brought to the top position again.