Make naming more consistent

media/main.js

@@ -222,10 +222,10 @@
 
 
         if (constantsUl.innerHTML === "") {
-            constantsUl.innerHTML = "There are no undefined constants.";
+            constantsUl.innerHTML = "There are no open constants.";
         }
         if (distributionsUl.innerHTML === "") {
-            distributionsUl.innerHTML = "There are no distributions.";
+            distributionsUl.innerHTML = "There are no extra parameters.";
         }
 
         vscode.setState({ tools: oldState.tools, documentVars: documentVars, parameters: oldState.parameters, currentUri: uri, currentTool: oldState.currentTool });

src/sidebar.ts

@@ -278,7 +278,7 @@ export class ModestSidebarProvider implements vscode.WebviewViewProvider {
                             <h3 class="title" title="Open constants">Open constants</h3>
                         </div>
                         <div class="pane-body">
-                            <ul class="option-list" id="constants">There are no undefined constants.</ul>
+                            <ul class="option-list" id="constants">There are no open constants.</ul>
                         </div>
                     </div>
                     <div class="pane vertical">