On 03/07/17 21:14, Simon Wimmer wrote:
>
> One thing that disturbed me in the beginning was that I first have to
> edit a document before any symbols get prettified.
This might be a weakness of the Prettify Symbols Mode, or just a mistake
in setting it up on my side. (For months, I have not
Hi Makarius,
the same goes for me. Installing and running this worked without any
trouble when following your instructions.
One thing that disturbed me in the beginning was that I first have to edit
a document before any symbols get prettified.
Simon
On Mon, Jul 3, 2017 at 4:11 PM Mathias
Dear Makarius,
I am using Isabelle/VSCode code for a week now. So it is possible to
install and use it.
I mostly like it:
* I really like VSCode's Control-P to search for commands.
* the PIDE protocol, unlike "isabelle build", accepts unicode
characters: If the file contains "×⇩r"
On 07/02/2017 10:59 PM, Makarius wrote:
> On 02/07/17 22:16, Christian Sternagel wrote:
>>
>>> It should work analogously to the "Preview" button, but without having a
>>> button.
>>
>> Preview (more concretely the "Open Preview" "button" -- some kind of
>> magnifying glass icon where the rest is
On 02/07/17 22:16, Christian Sternagel wrote:
>
>> It should work analogously to the "Preview" button, but without having a
>> button.
>
> Preview (more concretely the "Open Preview" "button" -- some kind of
> magnifying glass icon where the rest is to tiny to discern) only gives
> me a white
On 07/02/2017 02:21 PM, Makarius wrote:
> On 02/07/17 13:31, Christian Sternagel wrote:
>> On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
>>> There is also a "State" panel that imitates the dockable of the same
>>> name in Isabelle/jEdit. You will get to that via the "isabelle.state"
>>>
On 02/07/17 13:31, Christian Sternagel wrote:
> On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
>> There is also a "State" panel that imitates the dockable of the same
>> name in Isabelle/jEdit. You will get to that via the "isabelle.state"
>> command, e.g. use the SHIFT-CONTROL-P command palette
On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
> On 01.07.17 20:46, Christian Sternagel wrote:
>>
>> It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
>
> That is a plain-text channel of VSCode.
Oh, okay.
>
> There is also a "State" panel that imitates the dockable of
On 01.07.17 20:46, Christian Sternagel wrote:
It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
That is a plain-text channel of VSCode.
There is also a "State" panel that imitates the dockable of the same
name in Isabelle/jEdit. You will get to that via the
*** General ***
* Experimental support for Visual Studio Code (VSCode) as alternative
Isabelle/PIDE front-end, see also
https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
VSCode is a new type of application that continues the concepts of
"programmer's editor" and "integrated
10 matches
Mail list logo
