Code

New feature - run configurations#51

Code

Merged

sillydan1 merged 28 commits intomasterDEIS-Tools/H-Uppaal:masterfrom feat/external-tool-preferencesDEIS-Tools/H-Uppaal:feat/external-tool-preferencesCopy head branch name to clipboardNov 15, 2022

+875-374

Commits

Commits on Oct 31, 2022

• feat: add external tool button and associated preferences loading/saving

  

  Asger Gitz-Johansen

  authored and

  sillydan1

  committed
  64cf250

  Copy full SHA for 64cf250

• fix: remove redundant thread - this should be reintroduced if there's a uppaal server available

  

  Asger Gitz-Johansen

  authored and

  sillydan1

  committed
  c8b2396

  Copy full SHA for c8b2396

• wip: calling system commands with the external tool

  Show description for 4ad1053
  

  Asger Gitz-Johansen

  authored and

  sillydan1

  committed
  4ad1053

  Copy full SHA for 4ad1053

Commits on Nov 4, 2022

• fix: reintroduce the generate uppaal model button

  Show description for a7a0282
  

  Asger Gitz-Johansen

  committed
  a7a0282

  Copy full SHA for a7a0282

• feat: add IDEA inspired run configurations

  

  Asger Gitz-Johansen

  authored and

  sillydan1

  committed
  1e77faa

  Copy full SHA for 1e77faa

• fix: slight cleanup in CodeAnalysis and a single usage of addMessage

  Show description for fd25dff
  sillydan1

  committed
  fd25dff

  Copy full SHA for fd25dff

Commits on Nov 5, 2022

• fix: combobox styling

  sillydan1

  committed
  ced33ba

  Copy full SHA for ced33ba

• fix: buttons now have a hover-effect

  sillydan1

  committed
  bcafdb7

  Copy full SHA for bcafdb7

• fix: clicking the "run" button will change the icon whilst waiting for the process to finish

  sillydan1

  committed
  d74122f

  Copy full SHA for d74122f

• fix: button hover-effect is now square

  sillydan1

  committed
  c871994

  Copy full SHA for c871994

• fix: styling on the run configurations editor

  Show description for fc2c4fd
  sillydan1

  committed
  fc2c4fd

  Copy full SHA for fc2c4fd

• fix: file picker for run configs' program field

  sillydan1

  committed
  ed4ac42

  Copy full SHA for ed4ac42

• fix: execution dir is now a directory chooser

  sillydan1

  committed
  ec4a00a

  Copy full SHA for ec4a00a

• fix: output from run configuration is actually put into the warnings tab now

  sillydan1

  committed
  79c8755

  Copy full SHA for 79c8755

• fix: missed a null-check

  sillydan1

  committed
  1dbf6b7

  Copy full SHA for 1dbf6b7

• fix: stderr gets put into the errors tab

  sillydan1

  committed
  3698a89

  Copy full SHA for 3698a89

• fix: clicking the stop button stops the process now

  sillydan1

  committed
  202c467

  Copy full SHA for 202c467

• chore: bump version number

  sillydan1

  committed
  5d8277d

  Copy full SHA for 5d8277d

• fix: add version information into the statusbar

  Show description for d6e469b
  sillydan1

  committed
  d6e469b

  Copy full SHA for d6e469b

• fix: add environment variables to run configurations

  Show description for 90755bd
  sillydan1

  committed
  90755bd

  Copy full SHA for 90755bd

• fix: dont wait for the process to complete before reading lines

  sillydan1

  committed
  d6ac63f

  Copy full SHA for d6ac63f

Commits on Nov 13, 2022

• fix: capitalize error messages

  sillydan1

  committed
  4a4eaa2

  Copy full SHA for 4a4eaa2

• fix: actually select the saved "current config" on startup

  sillydan1

  committed
  a7913f3

  Copy full SHA for a7913f3

• fix: use one of the predefined colors for the stop button

  sillydan1

  committed
  a5ebb85

  Copy full SHA for a5ebb85

• fix: the runconfigurations list picker text prompt will now show "<No Run Configs>" when the list is empty

  sillydan1

  committed
  69b536f

  Copy full SHA for 69b536f

• chore: clean imports

  sillydan1

  committed
  528f170

  Copy full SHA for 528f170

• fix: add keyboard shortcut (ctrl+R) to run the selected run configuration

  sillydan1

  committed
  827f5f8

  Copy full SHA for 827f5f8

• fix: added keyboard accelerator for opening the run configurations editor window

  sillydan1

  committed
  e19889e

  Copy full SHA for e19889e