JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Improve size and initial location for Arend refactoring dialogs #431

Closed sxhya closed 11 months ago

sxhya commented 1 year ago

Currently ArendMoveMembersDialog (F6), ArendRenameDialog (Shift+F6, switch off inline rename feature to be able to actually see this dialog) and ArendChangeSignature (Ctrl+F6) when invoked all have the following two issues: 1) they appear at a random place of the screen 2) they often appear being wrongly sized (e.g. being too small, so that the user has to manually resize them right after they appear).

The following is necessary: