Skip to content

Find in topic (help panel) #463#488

Merged
renkun-ken merged 6 commits intoREditorSupport:masterfrom
tdeenes:findInTopic
Dec 10, 2020
Merged

Find in topic (help panel) #463#488
renkun-ken merged 6 commits intoREditorSupport:masterfrom
tdeenes:findInTopic

Conversation

@tdeenes
Copy link
Copy Markdown
Contributor

@tdeenes tdeenes commented Dec 10, 2020

See #463

Is your feature request related to a problem? Please describe.
Search for words, code snippets, etc. in a manual opened by HelpView

Describe the solution you'd like
Add an icon to the top of the panel which opens a search field if clicked. If the user starts typing, highlight the matching elements in the content of the view, and let the user step through the hits.

image

Copy link
Copy Markdown
Member

@ManuelHentschel ManuelHentschel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the improvement, works really nicely!

Comment thread package.json Outdated
Comment thread src/rHelpPanel.ts
Comment on lines 398 to 405
if(!this.panel){
const webViewOptions: WebviewOptions = {
enableScripts: true,
const webViewOptions: WebviewOptions & WebviewPanelOptions = {
enableScripts: true,
enableFindWidget: true
};
this.panel = window.createWebviewPanel('rhelp', 'R Help', this.viewColumn, webViewOptions);

this.panel = window.createWebviewPanel('rhelp', 'R Help', this.viewColumn, webViewOptions);
// virtual uris used to access local files
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please fix the indentation here :)

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done (47b869a)

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there a reason why space- and tab-indentation is mixed in the project? Why not stick with one style (preferring spaces)?

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd assume that is just the result of the different defaults/preferences from different developers. This could probably be fixed by some linter rule

@renkun-ken
Copy link
Copy Markdown
Member

Tested on macOS and it works quite nicely.

Comment thread src/rHelpPanel.ts Outdated
Copy link
Copy Markdown
Member

@ManuelHentschel ManuelHentschel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Copy Markdown
Member

@renkun-ken renkun-ken left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@renkun-ken renkun-ken merged commit 213dec1 into REditorSupport:master Dec 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants