Suggested modification

[gilbertohasnofb]

This PR implements two suggestions:

• first, it adds a checkbox for hiding the LaTeX panel at the bottom
• secondly, it replaces the preferences for autocompletition, since the syntax for quotes in LaTeX is `word' rather than 'word' and ``word'' rather than "word"

[ashthespy]

Sorry, I seem to have missed this.
f17a244 Won't work as expected, as bracket-matcher doesn't allow you to insert double characters (atom/bracket-matcher#323)
The package does the ``word'' quoting automatically already anyway..

[gilbertohasnofb]

@ashthespy No worries about it

The package does the ``word''

Are you sure about it? Prior to adding "`'" to the list, the quoting `word' was not done automatically to me.

Won't work as expected, as bracket-matcher doesn't allow you to insert double characters

Not too sure I understand this one. All additions in that commit are single characters. All I did was adding the "`'" quote and removing the '', "", and ` ` since "word", 'word' and `word` are not proper LaTeX quotes.

[ashthespy]

Try selecting a word and hitting " it will wrap it with the correct ``word'' quoting for LaTeX. The pair you added will yield `word', which isn't helpful?
And due to the limitation of bracket-matcher, you can't add double characters.

[gilbertohasnofb]

Try selecting a word and hitting " it will wrap it with the correct ``word'' quoting for LaTeX. The pair you added will on do `word', which isn't helpful

The quotation style ``word'' is used in the US while the quotation style `word' is the standard here in the UK. Selecting word and pressing " will indeed result in ``word'', but selecting it and pressing ' will not result in `word'.

A second point to be made is that auto-completition should work both for when a word is selected as well as not selected. So while pressing " with word selected will result in ``word'', pressing just " without a selection will simply add " at the cursor point (rightfully so, as this character might be used in a different context). With the proposed change, pressing ` without selecting a word will create a pair of `' with the cursor in between, and pressing it twice will create ``'' with the cursor still in between. That's a much more efficient way of typing so that you are already wrapping words in quotes as you write, instead of needing to select them later. So basically this commit PR is for taking care of these two cases, when pressing ` once or twice will correctly create quotes (UK and US style, respectively) for a word yet to be typed.

But with all that said, if you don't feel like merging this, I completely understand. If that would be the case, would you like me to open a PR just with 700c5a4 or you are not considering to merge that commit either? Either way it is fine with me.