R. Lahaye wrote:
>
> Something is not working properly here!
Another problem with the spellingchecker (with ispell installed):
The progress slider gets values updated from controller().getProgress().
This function should return a value between 0 and 100, which it does
only inside regular text; inside insets the return value is far above 100.
Here is a spellingcheck session, where I have put a print statement
right after updating the slider in FormSpellchecker.C:
[...]
void FormSpellchecker::partialUpdate(int id)
{
switch (id) {
case 0:
// set progress bar
fl_set_slider_value(dialog_->slider,
controller().getProgress());
lyxerr << "controller().getProgress() = "
<< controller().getProgress()
<< endl;
break;
case 1:
See below for data. The values below 100 are when in regular text environment;
the values >> 100 are inside insets (float, note etc.).
Why is the controller-progress giving such wrong data inside insets?
Cheers,
Rob.
controller().getProgress() = 1
controller().getProgress() = 2
controller().getProgress() = 3
controller().getProgress() = 5
controller().getProgress() = 8
controller().getProgress() = 9
controller().getProgress() = 12
controller().getProgress() = 24
controller().getProgress() = 29
controller().getProgress() = 3032
controller().getProgress() = 3030
controller().getProgress() = 5330
controller().getProgress() = 8330
controller().getProgress() = 40
controller().getProgress() = 3043
controller().getProgress() = 5143
controller().getProgress() = 7343
controller().getProgress() = 53
controller().getProgress() = 60
controller().getProgress() = 63
controller().getProgress() = 3065
controller().getProgress() = 3066
controller().getProgress() = 5366
controller().getProgress() = 5363
controller().getProgress() = 8363
controller().getProgress() = 71
controller().getProgress() = 3076
controller().getProgress() = 5476
controller().getProgress() = 7876
controller().getProgress() = 10272
controller().getProgress() = 81
controller().getProgress() = 88
controller().getProgress() = 91
controller().getProgress() = 95
controller().getProgress() = 98
controller().getProgress() = 93
controller().getProgress() = 6393
controller().getProgress() = 10193
controller().getProgress() = 12093
controller().getProgress() = 18093
controller().getProgress() = 20193
controller().getProgress() = 22393
controller().getProgress() = 24793
controller().getProgress() = 27193
controller().getProgress() = 29293
controller().getProgress() = 31393
controller().getProgress() = 35993
controller().getProgress() = 39993
