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
(around line 16 or something)
It should read:
$m->comp(’/Elements/Tabs’, current_toptab => ‘’);
Martin Schapendonk, firstname.lastname@example.org, Phone: +31 (0)6 55770237
Student Information Systems and Management at Tilburg University