Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Profile Selection #1

Closed
gnunn1 opened this issue Dec 30, 2015 · 0 comments
Closed

Profile Selection #1

gnunn1 opened this issue Dec 30, 2015 · 0 comments
Assignees
@gnunn1
Labels
enhancement

Comments

@gnunn1
Copy link
Owner

gnunn1 commented Dec 30, 2015

  • Add the ability to select a different profile from the terminal menu
  • Add the ability to select the default profile for a session, both when the session is created and from the session drop down menu
@gnunn1 gnunn1 self-assigned this Dec 30, 2015
@gnunn1 gnunn1 closed this as completed Dec 31, 2015
@alex285 alex285 mentioned this issue Jan 13, 2016
Closed
@gnunn1 gnunn1 mentioned this issue Jan 17, 2016
Closed
@gnunn1 gnunn1 mentioned this issue Feb 23, 2016
Closed
@alex285 alex285 mentioned this issue Mar 1, 2016
Closed
gnunn1 pushed a commit that referenced this issue Mar 30, 2016
@psokol
Merge pull request #1 from gnunn1/master
2899342 
Update
@highvoltage highvoltage mentioned this issue Feb 13, 2017
Closed
@nanohard nanohard mentioned this issue Jun 22, 2017
Closed
@ghost ghost mentioned this issue Aug 31, 2017
Closed
@cacheflood cacheflood mentioned this issue Nov 29, 2017
Closed
@crgithubmoth crgithubmoth mentioned this issue Dec 10, 2018
Open
@jpzbkk jpzbkk mentioned this issue Jun 11, 2019
Closed
@tv-nieri tv-nieri mentioned this issue Feb 22, 2021
Open
@coresh coresh mentioned this issue Nov 15, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gnunn1 gnunn1

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@gnunn1