GUI-projectView suggestion
Friday, 16 October 2026 · 2 messages · last reply 17 Oct 2026
RS
Rob Stapper16 Oct 2026 12:51 #
Hi,
Not only activate the editor when a file is activated for editing in the project-search subview of the GUI (topsubview in projectview when search is active) but also activate the filename in the project overview, the bottom part of the projectview. Now filename and active file are not synchronized which is a bit confusing.
mvgr.
Rob Stapper
CG
Christian Grün17 Oct 2026 17:19 #
Hi Rob,
I added your feature request [1], although I’m still a bit torn (tress will be automatically expanded, but never collapsed). In any case, you can use CTRL-J to jump to a file in the project directory.
Cheers, Christian
Quoted text · Rob Stapper · 8 lines
Rob Stapper via BaseX-Talk <basex-talk at mailman.uni-konstanz.de> schrieb am Freitag, 16. Oktober 2026 um 12:51: > Hi, > > Not only activate the editor when a file is activated for editing in the project-search subview of the GUI (topsubview in projectview when search is active) but also activate the filename in the project overview, the bottom part of the projectview. Now filename and active file are not synchronized which is a bit confusing. > > mvgr. > > Rob Stapper
Written for BaseX 12.4. BaseX may have changed since: please check the current documentation.
⚡Generated with XQuery