[Why3-club] Questions about the why3 ide

Julia Lawall julia.lawall at lip6.fr
Fri Mar 29 09:39:09 CET 2019



On Fri, 29 Mar 2019, Claude Marche wrote:

>
> Hello,
>
> Le 28/03/2019 à 16:38, Delphine Demange a écrit :
> > Hi,
> >
> > The editor recently introduced in Why3 provides a great improvement to
> > the user experience. Thanks a lot.
>
> Thanks for your positive feedback!

I use this a lot as well.

I miss the ability to search, particularly in the task view.

julia


> > I'm running the Why3 platform, version 1.1.0.
> >
> > I'd like to know whether it is possible to :
> > - configure the IDE so that the tab showed by default would be the
> > "Source view", instead of the "Task view"
>
> It is not configurable, but we could make it configurable of course
>
> > - close a file from the IDE directly
>
> What do you mean by "closing"? removing the tab?
>
> > - reset the session from the IDE
>
> What do you mean by "reset"? abandon all changes? That is what you can
> achieve by exiting without saving and reloading?
>
> > Perhaps these features were already introduced in a version more recent
> > than mine.
>
> No they aren't, but we are willing to add them if you think it is useful.
>
> - Claude
> _______________________________________________
> Why3-club mailing list
> Why3-club at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/why3-club
>


More information about the Why3-club mailing list