WSL/SLF GitLab Repository

  1. 08 Feb, 2021 2 commits
    • Michael Reisecker's avatar
      Finally rename "gui_elements" into "panels" · 2b016709
      Michael Reisecker authored
      The name was a relict from the very first day of project structuring,
      but this name here makes for much much nicer tab-completing to source
      file names...
      2b016709
    • Michael Reisecker's avatar
      Add "validity" button to Number panel · f1b0eb77
      Michael Reisecker authored
      Also a logic change: The Number panel does not allow free text
      anymore, i. e. if something is entered it _must_ be an expression (at
      least for the warning to go away).
      An exception are plain numbers, also possible in scientific notation.
      
      I. e.:
      2+2 <-- not ok
      text <-- not ok
      ${{2+2}} <-- OK
      ${env:VAR} <-- OK
      123 <-- OK
      10e-3 <-- OK
      (empty) <-- OK
      f1b0eb77
  2. 19 Aug, 2020 1 commit
  3. 16 Apr, 2020 1 commit
  4. 20 Mar, 2020 3 commits