-better desktop interface -tabs close individually
NOTE for @Ksawery_3110: back to the good old scratchos 3 days when only us were activeley developing scratchos
