Skip to content
Snippets Groups Projects
  1. Mar 03, 2019
    • Dominik Seeger's avatar
      fixed incorrect syntax highlighting for block comments · 94f0c460
      Dominik Seeger authored
      Tested with the following piece of code which should hava all edge cases. Works fine :
      
      // should not be commented out
      char c = '/*';
      String s = "/* some stupid stuff */";
      
      long test(REPLACED k){ /* only this should be commented out */
          if(REPLACED)
              return REPLACED;
          if(REPLACED)
              return REPLACED;
          /* this should be commented out
          if(REPLACED){
              if(REPLACED)
                  return REPLACED;
              if(REPLACED)
                  return (REPLACED);
          }
         */ this should not
          return 0;
      }
      94f0c460
    • robinwilliam.hundt's avatar
      UserOptions now hidden for students · 49c1014b
      robinwilliam.hundt authored
      fixes #135
      49c1014b
  2. Feb 21, 2019
  3. Feb 14, 2019
  4. Feb 04, 2019
  5. Jan 25, 2019
  6. Jan 24, 2019
  7. Jan 06, 2019
  8. Jan 03, 2019
  9. Dec 13, 2018
  10. Dec 09, 2018
  11. Dec 07, 2018
  12. Oct 09, 2018
  13. Oct 02, 2018
Loading