We have received some queries from the Jensor community regarding the Search facility being not available.
The issue is that if you are trying it with a old project the value of the property "TREE_SEARCH" is not available and in that case it takes the default value as "OFF" and Tree Search is not available.
For making the Tree Search available in old projects, the user needs to add the following line to the file "DebugTrace.properties" in the project folder's bin directory -
TREE_SEARCH = AUTO
Regards,
Suresh.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hi All,
We have received some queries from the Jensor community regarding the Search facility being not available.
The issue is that if you are trying it with a old project the value of the property "TREE_SEARCH" is not available and in that case it takes the default value as "OFF" and Tree Search is not available.
For making the Tree Search available in old projects, the user needs to add the following line to the file "DebugTrace.properties" in the project folder's bin directory -
TREE_SEARCH = AUTO
Regards,
Suresh.
Suresh,
Let us ensure that we get this into documentation when we release 1.8.
- Amol