 |
(Java Sources Browser) |
- About
- Description
- Installation
- Starting with JSBrowser
- JSBrowser Customization
- Questions and known problems
- Versions history
- Registration and licensing
Font customization
All the JSBrowser fonts can be updated, to increase/reduce its size, change its color, etc...
All font properties are specified in the file:
"JSBrowser/tomcat/webapps/JSBrowser/style.css"
.
Page width for print
When the java source file is printed, all the file is split at the column specified
in the "PrintColumnsNumber" property that is defined in the "JSBrowser/config/JSBrowser.properties"
file.
Tab space width
When a java source file is displayed, all the tab character '\t' are replaced by the number of spaces specified
in the "TabSpace" property that is defined in the "JSBrowser/config/JSBrowser.properties"
file.
Session spy
All user actions are stored in the "JSBrowser/log/EventsJSBrowser.log"
file. To view the user sessions:
- Launch JSBrowser
- Go in to the "configuration" page
- Then click on the "Sessions Info" link
To disable this sessions spy, set the "RecordSessions"
variable to false
Time to close session
When the user closes its browser the "AliveFrequence"
defines the elapse time (in seconds) to close its session.
If you get often the message:
The max session number has been reached.
Please, close another session, wait 60 seconds, then try again
Decrease the "AliveFrequence"
number
so when a user will quit his session, it will be released earlier.