Actually, the fix is to WebRT/html/index.html, but yes, thanks.
This will be in 2.0.5, along with a bunch of other similar fixes.On Tue, Aug 07, 2001 at 11:30:36AM +0200, Martin Schapendonk wrote:
Hi,
Please note that this email is in “I fixed this tiny little GUI display
detail” mode, so nothing really important is in here
I noticed that the “[Home]” tab never gets ‘greyed’ as it is selected.
It should be, because Search and Configuration are when I click on them.
I made a small (I mean really, really small) patch for RT, which
corrects this problem.
In /path/to/rt2/WebRT/data/obj/STANDARD/index.html you’ll find the line
$m->comp(‘/Elements/Tabs’);
(around line 16 or something)
It should read:
$m->comp(‘/Elements/Tabs’, current_toptab => ‘’);
Regards,
Martin
–
Martin Schapendonk, martin@schapendonk.org, Phone: +31 (0)6 55770237
Student Information Systems and Management at Tilburg University