Igor Pellegrini

icon company BerlinOnline Stadtportal GmbH & Co. KG icon location Berlin icon location DDD, where are thou?

Results 72 comments of Igor Pellegrini

Terminal: Copy on selection + new highlight in 1.68 copies previous term on CMD+F

Finally! I was also struggling a lot in my workflow with this regression. Thanks a lot for fixing it! :pray: (and tnx @vfonic for reporting and providing repro instruction 🙂...

No Auto Save (and no Backup) since V7.1.1 in Firefox

For me lately it didn't save any more sessions, and it also lost all the previous sessions. I dunno what I did, but I fixed it. * I read your...

7.1.1 lost all sessions after browser exit

For me lately it didn't save any more sessions, and it also lost all the previous sessions. I dunno what I did, but I fixed it. * I read your...

Sessions not saving in Chrome

For me lately not only it didn't save any more sessions, but it also lost all the previous sessions. I dunno what I did, but I fixed it. * I...

Create Releasable, Downloadable .crx versions for offline use in Chrome

When you want an extension source, use https://chromewebstore.google.com/detail/chrome-extension-source-v/jifpbeccnghkjeaalbbjmodiffmgedin

Create Releasable, Downloadable .crx versions for offline use in Chrome

Also, did you even read the README? The answer to your question is literally explained there :-|

7.1 version not for firefox?

Firefox has version 7.1.1, see https://addons.mozilla.org/en-US/firefox/addon/tab-session-manager/

Up to date but no session restore longer working for months

I dunno what I did, but I fixed it. * I opened "Manage Extensions" (this on Edge browser) and selected TabSessionManager * I enabled "Collect Errors" checkbox (this is probably...

All my saved sessions are deleted and no new ones are being created

Same for me. Browser crashed, I restarted it, but all my sessions (automatically & manually saved) are nowhere to be found. And also for me, the extension doesn't work anymore...

All my saved sessions are deleted and no new ones are being created

I dunno what I did, but I fixed it. * I opened "Manage Extensions" (this on Edge browser) and selected TabSessionManager * I checked the "Collect Errors" checkbox (I think...