#198 new
Dan Dean

Global terminal overlay

Reported by Dan Dean | January 26th, 2011 @ 09:53 PM

A feature that would help me with my day to day work would be the addition of a globally visible terminal overlay.

Use Case:

When writing my unit tests I'm often switching back and for between Terminal, where I execute the test suite, and my editor, where I'm writing my test suite. I'd save a ton of time and the process would be much cleaner if the terminal was present within the editor as an overlay.

I've attached a rough mockup of the idea, and there is a discussion of the idea on the google group over here:


Comments and changes to this ticket

  • prachu5
  • kk

    kk May 28th, 2022 @ 10:08 AM

    เล่น มายคราฟ สร้างบ้าน เล่น Pg slot สร้างเงิน มารู้จักเกมมายคราฟ เป็นเกมที่ผู้เล่นสามารถสร้างสรรค์ตัวละคร เเต่เกม Pg slot ของเรา เล่นง่าย เเละยังได้ลุ้นรับเงินจำนวนมาก

  • odobretp

    odobretp July 27th, 2022 @ 05:31 AM

    Try playing drift boss game right now. Drift boss is an extremely interesting game that is most loved today.

  • Jack213

    Jack213 August 16th, 2022 @ 09:29 AM

    For all of the students enrolled in these institutions, this board is drafting a syllabus from Class I to Class XII. There are several schools in the state of Uttar Pradesh that are associated with this board. Every year, this board also holds exams for the ninth and eleventh grades, in which a large number of students participate. These exams' UPMSP Plus One Question Paper 2023 was released in June. UPMSP Plus One Previous Paper 2023 As we know, the UPMSP Plus One Important Question Paper 2023 for class 11th of the UP Board was announced in the month of June the previous year, and we presume, there were 26 lakh students who appeared in the Class 11th UP board examinations, and the pass % of the entire students.

  • golf

    golf October 15th, 2022 @ 07:32 AM

    แน่นอนว่า เมื่อเราได้นำเข้า lavagame เกม สล็อต pg เว็บ ตรง ก็ได้รับการตอบรับเป็นอย่างดี จากผู้เล่น ที่ชื่นชอบในเกมสล็อตออนไลน์ และหากคุณเป็นผู้เล่นใหม่ ไม่รู้ว่าจะเลือกเกม lavagame ไหนดี วันนี้ เราได้นำ 3 อันดับ เกมสล็อต ที่มาแรงมากที่สุดใน lava slot ของเรา เพื่อให้คุณได้ดูเป็นตัวอย่างก่อนตัดสินใจเล่น lava game slot ทางเข้า

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.

New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

A text editor for Mac OS X

People watching this ticket