Add a "show targets" toggle button

Author: kimrutherford

gocam_app/forms.py

@@ -3,3 +3,4 @@
 class IdForm(forms.Form):
     ids = forms.CharField(label=False, widget=forms.Textarea(attrs={'class': 'ids-field'}))
     dag = forms.BooleanField(label="Use top-down layout", required=False)
+    targets = forms.BooleanField(label="Include targets", required=False)

gocam_app/views.py

@@ -28,6 +28,11 @@ def index(request):
 
             url = f"{app_path}/view/{ids}:show_models"
 
+            if form.cleaned_data["targets"]:
+                url += ',show_inputs'
+            else:
+                url += ',no_inputs'
+
             return HttpResponseRedirect(url)
 
     else: