Angus Leeming wrote:
> Peter Kümmel wrote:
>> Peter Kümmel wrote:
>>
>>
>>> Does any expert have an idea?
>>
>>
>> "The Usual Suspects" ;)
>>
>> (sorry for the breaking-the-rules smiley)
>>
>> Peter
>>
>
> See frontends/Dialogs.C:
>
> void Dialogs::updateBufferDependent(bool switched) const
> 211 {
> 212 std::map<string, DialogPtr>::const_iterator it =
> dialogs_.begin();
> 213 std::map<string, DialogPtr>::const_iterator end =
> dialogs_.end();
> 214
> 215 for(; it != end; ++it) {
> 216 Dialog * dialog = it->second.get();
> 217 if (switched &&
> dialog->controller().isBufferDependent()) {
> 218 dialog->hide();
> 219 } else {
> 220 // A bit clunky, but the dialog will
> request
> 221 // that the kernel provides it with the
> necessary
> 222 // data.
> 223 dialog->RestoreButton();
> 224 }
> 225 }
> 226 }
>
> Hmmmmm. I could have sworn that updateBufferDependent used to call
> dialog->update(); Ah well...
>
> Angus
>
I've also found the dialog->hide() which is called when switching,
but it doesn't update to the current TOC.
--
Peter Kümmel
