Make the Command Palette resizable

Open kalons7 opened this issue 7 years ago • 3 comments

The various popup dialogs (Ctrl+P, Ctrl+Shift+P, etc.) should be resizable.

Oct 01 '18 21:10 kalons7

There's already #442 for making GoTo resizable. Shall we make this present issue only about making the Command Palette (Ctrl+Shift+P) resizable?

Oct 02 '18 13:10 mherrmann

Sure.

Oct 02 '18 14:10 kalons7

Okay :) I'll update the issue description.

Oct 02 '18 14:10 mherrmann