~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/console/console.js

• browse files at revision 1097
• compare with another revision
• download diff
• download tarball
• view history from revision 1097

• reverse the comparison (1097 to 879)
• stop comparing with revision 879

Show diffs side-by-side

added

removed

www/media/console/console.js

58

58

    var callback1 = function(xhr)

59

59

        {

60

60

            var json_text = xhr.responseText;

61

 

            server_key = JSON.parse(json_text);

 

61

            server_key = JSON.parse(json_text).key;

62

62

            server_started = true;

63

63

            if (callback != null)

64

64

                callback();

65

65

        }

66

66

 

67

67

    //var current_path;

68

 

    if(typeof(current_path) != 'undefined')

 

68

    if((typeof(current_path) != 'undefined') && current_file)

69

69

    {

70

70

        // We have a current_path - give a suggestion to the server

71

71

        var path;

261

261

    else

262

262

    {

263

263

        GLOBAL_inputbox = inputbox;     /* For timer */

264

 

        var inputline = inputbox.value;

 

264

        var inputline = inputbox.value + "\n";

265

265

        var graytimer = setTimeout("GLOBAL_inputbox.setAttribute(\"class\", "

266

266

            + "\"disabled\");", 100);

267

267

    }

270

270

        // Print ">>>" span

271

271

        var span = document.createElement("span");

272

272

        span.setAttribute("class", "inputPrompt");

273

 

        span.appendChild(document.createTextNode(">>> "));

 

273

        span.appendChild(document.createTextNode(

 

274

              document.getElementById("console_prompt").firstChild.textContent)

 

275

                        );

274

276

        output.appendChild(span);

275

277

        // Print input line itself in a span

276

278

        var span = document.createElement("span");

277

279

        span.setAttribute("class", "inputMsg");

278

 

        span.appendChild(document.createTextNode(inputline + "\n"));

 

280

        span.appendChild(document.createTextNode(inputline));

279

281

        output.appendChild(span);

280

282

    }

281

283

    var args = {"key": server_key, "text":inputline};

303

305

    var output = document.getElementById("console_output");

304

306

    if (res.hasOwnProperty('okay'))

305

307

    {

 

308

        // Success!

 

309

        if (res.okay)

 

310

        {

 

311

            output.appendChild(document.createTextNode(res.okay + "\n"));

 

312

            output.appendChild(span);

 

313

        }

306

314

        // set the prompt to >>>

307

 

        var prompt = document.getElementById("console_prompt");

308

 

        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);

 

315

        set_prompt(">>>");

309

316

    }

310

317

    else if (res.hasOwnProperty('exc'))

311

318

    {

312

319

        // Failure!

313

320

        // print out the error message (res.exc)

314

 

        var span = document.createElement("span");

315

 

        span.setAttribute("class", "errorMsg");

316

 

        span.appendChild(document.createTextNode(res.exc + "\n"));

317

 

        output.appendChild(span);

 

321

        print_error(res.exc);

 

322

        

318

323

        // set the prompt to >>>

319

 

        var prompt = document.getElementById("console_prompt");

320

 

        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);

 

324

        set_prompt(">>>");

321

325

    }

322

326

    else if (res.hasOwnProperty('restart') && res.hasOwnProperty('key'))

323

327

    {

328

332

 

329

333

        // Print a reason to explain why we'd do such a horrible thing

330

334

        // (console timeout, server error etc.)

331

 

        var span = document.createElement("span");

332

 

        span.setAttribute("class", "errorMsg");

333

 

        span.appendChild(document.createTextNode("Console Restart: " + res.restart + "\n"));

334

 

        output.appendChild(span);

 

335

        print_error("Console Restart: " + res.restart);

 

336

        

335

337

        // set the prompt to >>>

336

 

        var prompt = document.getElementById("console_prompt");

337

 

        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);

338

 

 

 

338

        set_prompt(">>>");

339

339

    }

340

340

    else if (res.hasOwnProperty('more'))

341

341

    {

342

342

        // Need more input, so set the prompt to ...

343

 

        var prompt = document.getElementById("console_prompt");

344

 

        prompt.replaceChild(document.createTextNode("... "), prompt.firstChild);

 

343

        set_prompt("...");

345

344

    }

346

345

    else if (res.hasOwnProperty('output'))

347

346

    {

375

374

        // Return early, so we don't re-enable the input box.

376

375

        return;

377

376

    }

378

 

    else {

 

377

    else

 

378

    {

379

379

        // assert res.hasOwnProperty('input')

380

 

        var prompt = document.getElementById("console_prompt");

381

 

        prompt.replaceChild(document.createTextNode("+++ "), prompt.firstChild);

 

380

        set_prompt("...");

382

381

    }

383

382

 

384

383

    if (inputbox != null)

396

395

    divScroll.activeScroll();

397

396

 

398

397

    // Focus the input box by default

399

 

    document.getElementById("console_output").focus()

400

 

    document.getElementById("console_inputText").focus()

 

398

    document.getElementById("console_output").focus();

 

399

    document.getElementById("console_inputText").focus();

401

400

}

402

401

 

403

402

function catch_input(key)

456

455

    }

457

456

}

458

457

 

 

458

/** Resets the console by signalling the old console to expire and starting a 

 

459

 * new one.

 

460

 */

 

461

function console_reset()

 

462

{

 

463

    // FIXME: We show some feedback here - either disable input or at very 

 

464

    // least the reset button.

 

465

 

 

466

    // Restart the console

 

467

    if(!server_started)

 

468

    {

 

469

        start_server(null);

 

470

    }

 

471

    else

 

472

    {

 

473

        xhr = ajax_call(null, "consoleservice", "restart", {"key": server_key}, "POST");

 

474

        console_response(null, null, null, xhr.responseText);

 

475

    }

 

476

}

 

477

 

 

478

/** Prints an error line in the console **/

 

479

function print_error(error)

 

480

{ 

 

481

    var output = document.getElementById("console_output");

 

482

  

 

483

    // Create text block

 

484

    var span = document.createElement("span");

 

485

    span.setAttribute("class", "errorMsg");

 

486

    span.appendChild(document.createTextNode(error + "\n"));

 

487

    output.appendChild(span);

 

488

 

 

489

    // Autoscroll

 

490

    divScroll.activeScroll();

 

491

}

 

492

 

 

493

/** Sets the prompt text **/

 

494

function set_prompt(prompt_text)

 

495

{

 

496

    var prompt = document.getElementById("console_prompt");

 

497

    prompt.replaceChild(document.createTextNode(prompt_text + " "), prompt.firstChild);

 

498

}

 

499

 

459

500

/**** Following Code modified from ******************************************/

460

501

/**** http://radio.javaranch.com/pascarello/2006/08/17/1155837038219.html ***/

461

502

/****************************************************************************/

473

514

        

474

515

    if (scrollDiv.scrollHeight > 0)

475

516

        currentHeight = scrollDiv.scrollHeight;

476

 

    else 

477

 

        if (objDiv.offsetHeight > 0)

478

 

            currentHeight = scrollDiv.offsetHeight;

 

517

    else if (scrollDiv.offsetHeight > 0)

 

518

        currentHeight = scrollDiv.offsetHeight;

479

519

 

480

520

    scrollDiv.scrollTop = currentHeight;

481

521

 

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1