I think there should be a handler to grow and shrink the terminal instead of the double clicking the handler and having a set height.

I'll be implementing this as a separate module that is dependent on the jquery_ui that way people can enable on will instead of making this whole project dependent on jquery_ui.

Comments

snufkin’s picture

snufkin CreditAttribution: snufkin commented

Yeah, that was my initial plan too, but it was enough work to make the terminal somewhat integrate into drupal and play nicely with the theme system. If you could make this work, I am more than happy to commit it.