Commit Graph

22 Commits

Author SHA1 Message Date
4739632db2 remove search bar 2018-05-16 15:29:56 +02:00
b05bb27ed9 search is now saved asynchron and without a form which caused some redirection through searches_controller
added asynchronous save of search, removed searches_controller,
2017-03-21 14:37:32 +01:00
4a9867b81b only show search if parameters are set, prevent calls on nil.. 2017-03-21 12:16:39 +01:00
12adfde6c2 search bar now searches in forum of the course from where the LTI request came from. alternatively searches in the java 2017 course.
show interventions only in the current java course
2017-03-21 10:31:45 +01:00
c1209e4972 added translation for search bar 2017-03-21 10:31:33 +01:00
9761dd0a2a improved search bar and search button.
added button to collapsed sidebar
2017-03-21 10:31:33 +01:00
eb0c79a043 added search bar to the side col 2017-03-21 10:31:33 +01:00
952cc5ec24 Moved buttons to the top. 2016-09-09 13:21:51 +02:00
ddaed5929b Naming of sidebars 2016-09-01 18:47:16 +02:00
11d284b166 Disabled file tree and collapsed sidebar when filetree should be disabled. 2016-09-01 17:31:18 +02:00
e42330cf1b Added tooltip to request-comments button.
Added locale for all new texts.
2016-09-01 16:27:40 +02:00
0ca1cbaa14 Fixed file-creation-modal 2016-09-01 15:41:56 +02:00
b24db1dca0 Toggle description
Tooltips fixed
Buttons moved
2016-09-01 15:23:58 +02:00
fc1266d0d1 Added tooltips to sidebar buttons. 2016-09-01 14:35:08 +02:00
dca26cf237 Refactored frontend.
Moved output to editor tab.
Added collapse function to sidebar.
2016-09-01 10:49:55 +02:00
535cf17e2e Do not render file creation buttons if they are not needed for this exercise 2016-05-10 17:14:38 +02:00
67bb0558a8 removed new file and delete file button 2016-05-03 12:06:45 +02:00
d4061bf9b5 Remove RequestForComment button from sidebar 2016-04-26 14:29:29 +02:00
4fa8f811cf internationalization and feedback for RFC button 2015-05-05 11:23:31 +02:00
b8ec3edef2 Show requests for comments and begin work on a view for executing them 2015-03-27 18:10:47 +01:00
9d6b79c919 replaced Glyphicon icons by Font Awesome icons 2015-03-18 10:19:39 +01:00
4cbf9970b1 transferred Code Ocean from original repository to GitHub 2015-01-22 10:01:32 +01:00