intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Improve TypeCheckRunConfigurationEditor

Open mchernyavsky opened this issue 7 years ago • 1 comments

  1. No gui controls in "Create new Arend project" window

  2. Want to have smarter Run Configuration gui controls for typechecking arend definitions Want to have list of all definitions in completion list (replace TextBox'es with smarter controls) -- see RunConfiguration for Groovy

mchernyavsky avatar Sep 14 '17 04:09 mchernyavsky

There are GUI controls in other places for which this feature will be useful.

valis avatar Feb 18 '20 17:02 valis

@valis, is there anything left to be done from this issue? Probably only better text fields in dialogs, but I'm not sure.

sxhya avatar Dec 13 '23 13:12 sxhya