search

Seldaek / php-console

PHP Debug Console
Other
529 stars 93 forks source link

Issue #3: Try to replace homemade editor with ACE #6

Closed tomtomsen closed 12 years ago

tomtomsen commented 12 years ago

Hi!

Currently I use php-console at work. there i've seen that you have issue in which you propose to use ACE editor instead of your internal one.

Cause I like that idea and wanted to give you something back, ill came up with this possible solution.

I've tested that code on (apache 2.2.17 with php 5.3.6 on ubuntu 11.04):

Hope it helps :)

Seldaek commented 12 years ago

Thanks, sounds great! I will try it later.

Seldaek commented 12 years ago

Merged, tagged 1.2.0, and added a button to copy the selection in browsers that don't allow it (Opera).