++

роль студента

src/_VisualDVM/Visual/Interface/MainWindow.java

@@ -20,6 +20,7 @@ public interface MainWindow {
     void ShowCheckedTestsCount();
     void ShowUndefinedTabs();
     void ShowUserTabs();
+    void ShowStudentTabs();
     void ShowDeveloperTabs();
     void ShowAdminTabs();
 }

src/_VisualDVM/Visual/MainUI.java

@@ -129,6 +129,20 @@ public class MainUI extends UIModule_ {
         Global.normalProperties.AutoCheckTesting = false;
         Global.normalProperties.Update();
     }
+    void showStudentRights(){
+        Global.mainModule.SetUserPassesAccess();
+        getMainWindow().ShowStudentTabs();
+        getTestingMenuBar().showServerAdminLabel(false);
+        getMainWindow().getCallbackWindow().showAllBugreports();
+        Global.normalProperties.setControlVisible("AutoBugReportsLoad", true);
+        Global.normalProperties.setControlVisible("AutoTestsLoad", false);
+        Global.normalProperties.setControlVisible("CreateEthalonTasks", false);
+        Global.normalProperties.setControlVisible("CompleteCompilationOptions", false);
+        Global.normalProperties.setControlVisible("CompleteRunEnvironments", false);
+        Global.normalProperties.setControlVisible("ErasePackageWorkspace", false);
+        Global.normalProperties.AutoCheckTesting = false;
+        Global.normalProperties.Update();
+    }
     ;
     void showDeveloperRights() {
         Global.mainModule.SetDeveloperPassesAccess();
@@ -164,6 +178,9 @@ public class MainUI extends UIModule_ {
             case User:
                 showUserRights();
                 break;
+            case Student:
+                showStudentRights();
+                break;
             case Developer:
                 showDeveloperRights();
                 break;

src/_VisualDVM/Visual/Windows/MainForm.java

@@ -268,7 +268,9 @@ public class MainForm extends Form implements MainWindow {
     }
     @Override
     public void ShowUserTabs() {
-        //тоже ничего не делаем.
+    }
+    @Override
+    public void ShowStudentTabs() {
     }
     @Override
     public void ShowDeveloperTabs() {