Group interpreters in interpreter quick picker using separators #18165

Activity

1. Kartik Raj (karrtikr)

   added

   feature-requestRequest for new features or functionalityRequest for new features or functionality

   needs PR

   area-environmentsFeatures relating to handling interpreter environmentsFeatures relating to handling interpreter environments

   on Dec 10, 2021
2. Kartik Raj (karrtikr)

   self-assigned this

   on Dec 10, 2021
3. cdce8p commented on Dec 13, 2021

   

   Marc Mueller (cdce8p)

   on Dec 13, 2021

   More actions

   Likely related #17944
4. karrtikr commented on Dec 14, 2021

   

   Kartik Raj (karrtikr)

   on Dec 14, 2021

   Last edited by karrtikr

   Author

   More actions

   Thanks, as your open was opened first, I'll close this issue is favor of #17944. We plan to release this feature by end of January.

   👍React with 👍1Reacted by Marc Mueller
5. Kartik Raj (karrtikr)

   closed this as completedon Dec 14, 2021
6. github-actions

   locked as resolved and limited conversation to collaborators on Jan 14, 2022
7. Kartik Raj (karrtikr)

   added this to the January 2022 milestone on Jan 26, 2022
8. Kartik Raj (karrtikr)

   added

   verifiedVerification succeededVerification succeeded

   on Jan 26, 2022