Main Page » Mailing List » February 2020

BaseX GUI language settings

Wednesday, 26 February 2020 · 2 messages
BE
Ben Engbers26 Feb 2020 09:46 #
Hi, My default language for basexgui is Dutch but I want to create screenshots from a GUI that uses English. How can I switch the language temporarily? Cheers, Ben
AB
Andy Bunce26 Feb 2020 10:41 #
Hi Ben, GUI Menu... Options>Preferences>Language As it says, a GUI restart is required. Cheers /Andy
Quoted text · Ben Engbers · 11 lines
On Wed, 26 Feb 2020 at 08:46, Ben Engbers <Ben.Engbers at be-logical.nl> wrote: > Hi, > > My default language for basexgui is Dutch but I want to create > screenshots from a GUI that uses English. > > How can I switch the language temporarily? > > Cheers, > Ben >

Written for BaseX 9.3. BaseX may have changed since: please check the current documentation.

« Call for assistance : BaseX as a preprocessor ?Dynamic evaluation? »
⚡Generated with XQuery