Sebastian Serth
944b455194
Introduce Dark Mode
...
This commit mainly changes the color definitions. Mostly, those changes are semantically equally, but there are a few changes that occurred to align the color scheme within the app.
2023-07-31 11:48:42 +02:00
Sebastian Serth
bf662ecb81
Remove legacy forum search and search buttons
2023-07-28 08:45:05 +02:00
Sebastian Serth
fb9672c7a4
FileTree: Allow output as hash, convert to JSON separately
2022-10-29 18:49:18 +02:00
Sebastian Serth
0e96bc79c4
Conditionally show file tree
2022-08-16 23:27:39 +02:00
Sebastian Serth
8a055a0d68
Update Bootstrap from v4 to v5
2022-08-12 11:45:32 +02:00
Sebastian Serth
b98c37ae64
Rename v4 FontAwesome icons to match v5/v6 name
...
While FontAwesome provides aliases for all icons, we switch to the new names for consistency. See all changes at:
https://fontawesome.com/docs/web/setup/upgrade/upgrade-from-v4#icons-renamed-since-version-4
2022-08-09 14:17:32 +02:00
Sebastian Serth
d93e71dc28
Rename v5 FontAwesome icons to match v6 name
...
While FontAwesome provides aliases for all icons, we switch to the new names for consistency. See all changes at:
https://fontawesome.com/docs/web/setup/upgrade/whats-changed#icons-renamed-in-version-6
2022-08-09 14:17:32 +02:00
Sebastian Serth
f32661ad78
Rework left sidebar
...
* Move Buttons from left sidebar to JSTree
* Use light style for collapse sidebar buttons
2021-05-28 17:49:59 +02:00
Sebastian Serth
c2feaca046
Update styling for Tips to make them less annoying
2020-10-20 13:50:29 +02:00
Sebastian Serth
a49c01645b
Move tips to left sidebar and set width = 25%
2020-10-15 17:40:48 +02:00
Sebastian Serth
f22a3803ed
Make reset button less distracting
2020-03-07 11:53:44 +01:00
Sebastian Serth
6378f9d53f
Hide reset active file button if only one file
2020-02-02 12:37:23 +01:00
Sebastian Serth
1096c1a2f5
Add translation for unpublished exercises and adopt UI for reset all files
2020-01-30 18:31:14 +01:00
Sebastian Serth
d0eceac440
Upgrade font-awesome and add option reset only active file
2020-01-29 10:55:15 +01:00
Sebastian Serth
baa0784ede
Add custom_embed_option to disallow downloading submissions
2019-03-29 14:56:14 +01:00
Sebastian Serth
7bdb962616
Update Bootstrap to v4.1, fix chosen.js and pagedown on multiple sites
2018-11-06 16:49:41 +01:00
Ralf Teusner
4739632db2
remove search bar
2018-05-16 15:29:56 +02:00
Thomas Hille
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
Ralf Teusner
4a9867b81b
only show search if parameters are set, prevent calls on nil..
2017-03-21 12:16:39 +01:00
Thomas Hille
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
Thomas Hille
c1209e4972
added translation for search bar
2017-03-21 10:31:33 +01:00
Thomas Hille
9761dd0a2a
improved search bar and search button.
...
added button to collapsed sidebar
2017-03-21 10:31:33 +01:00
Thomas Hille
eb0c79a043
added search bar to the side col
2017-03-21 10:31:33 +01:00
Alexander Kastius
952cc5ec24
Moved buttons to the top.
2016-09-09 13:21:51 +02:00
Ralf Teusner
ddaed5929b
Naming of sidebars
2016-09-01 18:47:16 +02:00
Alexander Kastius
11d284b166
Disabled file tree and collapsed sidebar when filetree should be disabled.
2016-09-01 17:31:18 +02:00
Alexander Kastius
e42330cf1b
Added tooltip to request-comments button.
...
Added locale for all new texts.
2016-09-01 16:27:40 +02:00
Alexander Kastius
0ca1cbaa14
Fixed file-creation-modal
2016-09-01 15:41:56 +02:00
Alexander Kastius
b24db1dca0
Toggle description
...
Tooltips fixed
Buttons moved
2016-09-01 15:23:58 +02:00
Alexander Kastius
fc1266d0d1
Added tooltips to sidebar buttons.
2016-09-01 14:35:08 +02:00
Alexander Kastius
dca26cf237
Refactored frontend.
...
Moved output to editor tab.
Added collapse function to sidebar.
2016-09-01 10:49:55 +02:00
Maximilian Grundke
535cf17e2e
Do not render file creation buttons if they are not needed for this exercise
2016-05-10 17:14:38 +02:00
Ralf Teusner
67bb0558a8
removed new file and delete file button
2016-05-03 12:06:45 +02:00
Maximilian Grundke
d4061bf9b5
Remove RequestForComment button from sidebar
2016-04-26 14:29:29 +02:00
Felix Wolff
4fa8f811cf
internationalization and feedback for RFC button
2015-05-05 11:23:31 +02:00
Felix Wolff
b8ec3edef2
Show requests for comments and begin work on a view for executing them
2015-03-27 18:10:47 +01:00
Hauke Klement
9d6b79c919
replaced Glyphicon icons by Font Awesome icons
2015-03-18 10:19:39 +01:00
Hauke Klement
4cbf9970b1
transferred Code Ocean from original repository to GitHub
2015-01-22 10:01:32 +01:00