anchor.diff:          input.form-control.input#maxExecutionTime(type='number', ng-model="settings.maxExecutionTime", ng-change="save()")
       .form-group
         label(for="heartbeat") Heartbeat
  -        input.form-control.input#maxExecutionTime(type='number', ng-model="settings.maxExecutionTime", ng-change="save()")
  +        input.form-control.input#maxExecutionTime(type='number', ng-model="settings.heartbeat", ng-change="save()")
   
       h5 Result Frames
       .form-group
  
positive.code:     .form-group
        label(for="scrollToTop") Scroll To Top
          input.form-control.input#scrollToTop(type='number', ng-model="settings.scrollToTop", ng-change="save()")
      h5 Graph Visualization
      .form-group
        label(for="maxNeighbours") Max Neighbors
  
negative.code:         label
            input(type="radio", name="themeRadio", id="theme3", value="outline", ng-model="settings.theme", ng-change="save()")
            | Outline
      .form-group
        label(for="initCmd") Initial Command
          input.form-control.input#initCmd(type='string', ng-model="settings.initCmd", ng-change="save()")
  
      h5 Network Connection
      .form-group
  