~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 1080.1.3
• compare with another revision
• download diff
• download tarball
• view history from revision 1080.1.3

• reverse the comparison (1080.1.3 to 830)
• stop comparing with revision 830

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

 

    ajax_call(callback1, "consoleservice", "start", {}, "POST");

 

66

 

 

67

    //var current_path;

 

68

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

 

69

    {

 

70

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

 

71

        var path;

 

72

        if (current_file.isdir)

 

73

        {

 

74

            // Browser

 

75

            path = path_join("/home", current_path);

 

76

        }

 

77

        else

 

78

        {

 

79

            // Editor - need to chop off filename

 

80

            var tmp_path = current_path.split('/');

 

81

            tmp_path.pop();

 

82

            path = path_join("/home", tmp_path.join('/'));

 

83

        }

 

84

        ajax_call(callback1, "consoleservice", "start", {"startdir": path}, "POST");

 

85

    }

 

86

    else

 

87

    {

 

88

        // No current_path - let the server decide

 

89

        ajax_call(callback1, "consoleservice", "start", {}, "POST");

 

90

    }

67

91

}

68

92

 

69

93

/** Initialises the console. All apps which import console are required to

237

261

    else

238

262

    {

239

263

        GLOBAL_inputbox = inputbox;     /* For timer */

240

 

        var inputline = inputbox.value;

 

264

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

241

265

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

242

266

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

243

267

    }

246

270

        // Print ">>>" span

247

271

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

248

272

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

249

 

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

 

273

        span.appendChild(document.createTextNode(

 

274

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

 

275

                        );

250

276

        output.appendChild(span);

251

277

        // Print input line itself in a span

252

278

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

253

279

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

254

 

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

 

280

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

255

281

        output.appendChild(span);

256

282

    }

257

283

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

286

312

            output.appendChild(span);

287

313

        }

288

314

        // set the prompt to >>>

289

 

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

290

 

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

 

315

        set_prompt(">>>");

291

316

    }

292

317

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

293

318

    {

294

319

        // Failure!

295

320

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

296

 

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

297

 

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

298

 

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

299

 

        output.appendChild(span);

 

321

        print_error(res.exc);

 

322

        

300

323

        // set the prompt to >>>

301

 

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

302

 

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

 

324

        set_prompt(">>>");

303

325

    }

304

326

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

305

327

    {

310

332

 

311

333

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

312

334

        // (console timeout, server error etc.)

313

 

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

314

 

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

315

 

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

316

 

        output.appendChild(span);

 

335

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

 

336

        

317

337

        // set the prompt to >>>

318

 

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

319

 

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

320

 

 

 

338

        set_prompt(">>>");

321

339

    }

322

340

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

323

341

    {

324

342

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

325

 

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

326

 

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

 

343

        set_prompt("...");

327

344

    }

328

345

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

329

346

    {

357

374

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

358

375

        return;

359

376

    }

360

 

    else {

 

377

    else

 

378

    {

361

379

        // assert res.hasOwnProperty('input')

362

 

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

363

 

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

 

380

        set_prompt("...");

364

381

    }

365

382

 

366

383

    if (inputbox != null)

378

395

    divScroll.activeScroll();

379

396

 

380

397

    // Focus the input box by default

381

 

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

382

 

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

 

398

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

 

399

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

383

400

}

384

401

 

385

402

function catch_input(key)

438

455

    }

439

456

}

440

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

 

441

500

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

442

501

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

443

502

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

455

514

        

456

515

    if (scrollDiv.scrollHeight > 0)

457

516

        currentHeight = scrollDiv.scrollHeight;

458

 

    else 

459

 

        if (objDiv.offsetHeight > 0)

460

 

            currentHeight = scrollDiv.offsetHeight;

 

517

    else if (scrollDiv.offsetHeight > 0)

 

518

        currentHeight = scrollDiv.offsetHeight;

461

519

 

462

520

    scrollDiv.scrollTop = currentHeight;

463

521

 

• Older »

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