|
|
|
|
|
|
by tsaprailis
3541 days ago
|
|
|
Yes, thanks very much! I actually had those too, as a backup but I think different combinations for opening and closing (or in this case toggling into terminal, and back into the editor) are more cumbersome than simply opening/closing. |
|
|