TabSwitch and 3354 关注

Amnon I. Govrin wrote:

It seems that TabSwitch doesn't initially show all the open files when a
project is opened. Visiting files does add them to the TabSwitch menu.

I think that was OK in 3341.

Thanks,
Amnon

Can anyone acknowledge this?

Could that be fixed?

Thanks in advance,
Amnon

Sorry Amnon, I had forgotten about this issue. Thanks for reminding me. I'll try to fix it.

Bas

Bas Leijdekkers wrote:

Sorry Amnon, I had forgotten about this issue. Thanks for reminding me. I'll try to fix it.

Bas

Thanks.
Sorry to be a nag. I just depend on TabSwitch so much...

Amnon

I have uploaded a new version of TabSwitch to the plugin repository that
fixes this issue. Let me know if you have any more problems.

Bas

Amnon I. Govrin wrote:

It seems that TabSwitch doesn't initially show all the open files when a
project is opened. Visiting files does add them to the TabSwitch menu.

I think that was OK in 3341.

Thanks,
Amnon

Thanks Bas.

Vince.

It seems I introduced a NullPointerException bug in the previous version
when opening a new project in the same frame. I have uploaded yet
another version of TabSwitch to the plugin repository that should fix
this issue.

Bas

Bas Leijdekkers wrote:

I have uploaded a new version of TabSwitch to the plugin repository that
fixes this issue. Let me know if you have any more problems.

Bas

Amnon I. Govrin wrote:

>> It seems that TabSwitch doesn't initially show all the open files when a
>> project is opened. Visiting files does add them to the TabSwitch menu.
>>
>> I think that was OK in 3341.
>>
>> Thanks,
>> Amnon

Bas Leijdekkers wrote:

It seems I introduced a NullPointerException bug in the previous version
when opening a new project in the same frame. I have uploaded yet
another version of TabSwitch to the plugin repository that should fix
this issue.

Bas

Hi,

There also used to be a setting in the XML (I think it was other.xml)
which set the history limit of the tabswitch plugin for those like me
that don't use multiple tabs... but now it appears to be gone? With
only one tab I get one item in the popup menu... not very useful!

I think it might have disappeared when JB started using a different
version of JDOM or something, and the plugin was recompiled to use it...
any idea how to get it back guys?

N.

Nathan Brown wrote:

There also used to be a setting in the XML (I think it was other.xml)
which set the history limit of the tabswitch plugin for those like me
that don't use multiple tabs... but now it appears to be gone? With
only one tab I get one item in the popup menu... not very useful!

I think it might have disappeared when JB started using a different
version of JDOM or something, and the plugin was recompiled to use it...
any idea how to get it back guys?

You're right, that was probably something that got broken. I will add
something something like the history limit (next week probably). To what
size did you set the limit?

Bas

Bas Leijdekkers wrote:

Nathan Brown wrote:

>> There also used to be a setting in the XML (I think it was other.xml)
>> which set the history limit of the tabswitch plugin for those like me
>> that don't use multiple tabs... but now it appears to be gone? With
>> only one tab I get one item in the popup menu... not very useful!
>>
>> I think it might have disappeared when JB started using a different
>> version of JDOM or something, and the plugin was recompiled to use
>> it... any idea how to get it back guys?

You're right, that was probably something that got broken. I will add
something something like the history limit (next week probably). To what
size did you set the limit?

Bas

Cheers Bas. I usually had it set to 20 I think, but will it be in the
xml so it can be configured manually?

N.

Nathan Brown wrote:

Bas Leijdekkers wrote:

>>
>> Nathan Brown wrote:
>>
>>> There also used to be a setting in the XML (I think it was other.xml)
>>> which set the history limit of the tabswitch plugin for those like me
>>> that don't use multiple tabs... but now it appears to be gone? With
>>> only one tab I get one item in the popup menu... not very useful!
>>>
>>> I think it might have disappeared when JB started using a different
>>> version of JDOM or something, and the plugin was recompiled to use
>>> it... any idea how to get it back guys?
>>
>>
>> You're right, that was probably something that got broken. I will add
>> something something like the history limit (next week probably). To what
>> size did you set the limit?
>>
>> Bas

Cheers Bas. I usually had it set to 20 I think, but will it be in the
xml so it can be configured manually?

It will definitely be configurable manually. I'm just thinking about
setting it up a little bit differently, with maybe a sensible default
value somewhere.

Bas