Commit Graph

21 Commits (20e75257ae222383deab7d4bcdd47c53117fe391)

Author SHA1 Message Date
Julio Montoya 46ee4c9fa0 More fixes in the exercise report 14 years ago
Julio Montoya c4faeaf3a8 Adding some fixes when using multiple URLS in the session list see BT#3368 14 years ago
Julio Montoya 9fc779f965 Minor style corrections 14 years ago
Julio Montoya 59d148e04a Updating jqgrid to the latest version 4.3.0 see BT#3368 14 years ago
Julio Montoya 1e059faa8e Fixing jqgrid styles 14 years ago
Julio Montoya 4c63087cae Updating jquery-ui javascript lib from 1.8.7 to 1.8.16 14 years ago
Yannick Warnier 3ffacb4a92 Backing out Cesar's mistaken push 14 years ago
César Perales 4b5bfbe79d minor fix, missing selected attribute for minutes, when editing agenda event #3692 14 years ago
Julio Montoya e9f2567377 Adding new interface when adding docs, works, etc in a LP 15 years ago
Julio Montoya 1ea9c6e5b7 Minor css modification 15 years ago
Julio Montoya 447c6e0c7a Improving tabs layout + fixing groups layout 15 years ago
Julio Montoya c9debf47be Minor CSS changes 15 years ago
Julio Montoya d43c5efa2e Fixing copy promotion, now we take in count the session id, LP and exercises are set to invisible by default see BT#2386 15 years ago
Julio Montoya 31ff24630c Fixing selected tab style (jquery-ui) 15 years ago
Julio Montoya 9f8dbf8eeb Fixing documents tool move functionality, replacing curdirpath in document list, adding more information and icons in the upload multiple files funcionality see BT#2784 15 years ago
Julio Montoya ec95310207 Minor CSS changes 15 years ago
Julio Montoya 527d406d68 Changing the get_best_score funcionality in order to find the best result based in the current user list see BT#2093 15 years ago
Julio Montoya d3f24af5cc Adding readme + rempving gray background when using jquery tabs 15 years ago
Julio Montoya a3efab1dd5 Only users that are registered in a Session can see the main/session page except for the admin 15 years ago
Julio Montoya ae54ad708c Adding language variables + fixing jquery-ui anchor css 15 years ago
Julio Montoya d39be1097e Undo css changes moving those css custom changes in a new default.css in order to easily update the jquery-ui libraries 15 years ago