Hey Lucas, I tested this a while ago but forgot to mention that after you've
closed all the tabs, creating a new tab results in a segfault. The origin is
here:
tabs.switch_page.connect ( (t) => {
page = tabs.tabs.index_of (t); // Segfault point.
});
Apart from that, this indeed fixes Bug #955421, so this could be merged into
trunk. Maybe the problem I describe should be threated as a separate
issue/report?
--
https://code.launchpad.net/~xapantu/granite/fix-955421/+merge/98506
Your team elementaryart (old) is subscribed to branch lp:granite.
--
Mailing list: https://launchpad.net/~elementaryart
Post to : [email protected]
Unsubscribe : https://launchpad.net/~elementaryart
More help : https://help.launchpad.net/ListHelp
