You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"Bei grösseren Code Listings wäre ein grösseres Fenster (zu Ungunsten des Quellcodefensters)
wünschenswert. Ein direktes Verändern mit der Maus ist wohl schwierig/unmöglich. Idee: Dop-pelklick auf grünen Output-Balken macht Listing-Fenster doppelt so hoch." (Zitat von @RuediWM)
The text was updated successfully, but these errors were encountered:
"Bei grösseren Code Listings wäre ein grösseres Fenster (zu Ungunsten des Quellcodefensters)
wünschenswert. Ein direktes Verändern mit der Maus ist wohl schwierig/unmöglich. Idee: Dop-pelklick auf grünen Output-Balken macht Listing-Fenster doppelt so hoch." (Zitat von @RuediWM)
The text was updated successfully, but these errors were encountered: