HyperEdit

HyperEdit is an application for Apple's Mac OS X developed by Jonathan Deutsch.

HyperEdit
HyperEdit running on Mac OS X v10.4.
Developer(s)Jonathan Deutsch, Tumult, Co.
Stable release
1.6 / April 30, 2008
Operating systemMac OS X
TypeHTML editor
LicenseShareware
Websitewww.tumultco.com/HyperEdit/

The software is primarily targeted at Web developers, combining a HTML (including CSS), PHP and JavaScript editor in one lightweight program. It offers customizable syntax highlighting for these weblanguages.

Some notable features include: W3C validation (underlines mistakes in red), JavaScript debugger, code snippets, color swatches palette, StartUp Items (to load specific documents on start-up) and live preview. The latter feature works for both HTML (with JavaScript, if enabled in Safari) and PHP sites on Mac OS X 10.3 and above.

To display webpages, Safari is used, which has a rendering engine named (WebKit).

HyperEdit is available as Shareware, and a free demo with some limitations is available at the developer's website.

PHP 5

It is possible to deploy the latest version of PHP, namely 5.x, on HyperEdit for Mac OS X v10.4 and above.

gollark: ... was? is.
gollark: Well, this was for ND research, and I didn't want to refresh random eggs constantly.
gollark: ```javascript// ==UserScript==// @name DC Egg Time Getter// @namespace http://tampermonkey.net/// @match https://dragcave.net/view/*// @grant none// ==/UserScript==function getCapture(text, regex, def) { const result = text.match(regex); if (result === null || result === undefined) { if (def === undefined) { throw new Error("Text did not match regex."); } else { return def; } } else { return result[1]; }}const text = document.body.textContent;const days = parseInt(getCapture(text, /in: (\d+) day/, 0));const hours = parseInt(getCapture(text, /and (\d+) hour/, 0));const allHours = (days * 24) + hours;const storage = window.localStorage;const lastTime = storage.remainingTime;console.log("Time Remaining:", allHours);// check for low-ER timesif (allHours < 72) { console.log("Egg/Hatchling in low ER!"); if (lastTime !== allHours.toString()) { const d = new Date(); localStorage.changeTime = d.getTime().toString(); console.log("WAS", lastTime, "NOW", allHours) console.log("Hour Change Time FOUND!"); } else { storage.remainingTime = allHours; setTimeout(() => window.location.reload(), 2000); }}```Probably suboptimal, but I was in a hurry.
gollark: It worked quite well, though I did have to manually narrow them down a bit.
gollark: To get around all the work of refreshing for an hour, I made a userscript to refresh every few seconds and check if the time changes.

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.