op public repos

Commit Briefs

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

sync (tags/0.5.1)

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

diff | patch | tree

2 years ago Omar Polo

new_tab: allow to add the tab after a current one

this allows cmd_push_button_new_tab to open the new tab right *after* the current one, instead that always at the end.

diff | patch | tree