![]() |
Willkommen, Gast ( Anmelden | Registrierung )
![]() |
![]()
Beitrag
#1
|
|
;-) ![]() Gruppe: Mods Beiträge: 246 Mitglied seit: 20.11.2001 Mitglieds-Nr.: 15 ![]() |
Hallo an alle,
Jetzt hab' ich mich mal daran versucht ein kleines Plugin zu schreiben. Das ganze soll noch etwas ausgebaut werden. Zur Zeit ist da nur eine MINI-Funktion enthalten, um den IE von MS online/offline zu schalten. [Nachtrag] ==> Weitere Funktionen siehe "Aktuelle Infos" [/Nachtrag] ==> Setup: PhaseTools Getestet unter Windows 2000 Pro / html-editor phase 5.3 cu, helpy Aktuelle Infos: QUELLTEXT PhaseTools BETA - Version 0.3.1.337
! ! ! ! ! I N E N T W I C K L U N G ! ! ! ! ! Ein Plugin für den Freeware "html-editor phase 5". Dieses Plugin enthält eine Sammlung von kleinen Funktionen für die Arbeit mit dem "html-editor phase 5"! Zur Zeit sind folgende Funktionen in PhaseTools enthalten: - IE Browser online/offline schalten (über Tools-Menü oder über Starter-Programm) - Zuweisung des Syntax-Schema für aktuelle Datei ändern (Erst nach Neustart wirksam) - extension.ini in "html-editor phase 5" öffnen - Alle Unterverzeichnisse und Dateien in einem Projekt- Verzeichnis bzw. in einem ausgewählten Verzeichnis werden umbenannt, sodass diese nur Kleinbuchstaben enthalten. Diese Funktionen sind in einem PopUp-Menü zusammengefasst. Funktionen die nicht benötigt werden, können aus dem PopUp-Menü ausgeblendet werden. |
|
|
![]() |
![]()
Beitrag
#2
|
|
is getting harder Gruppe: User Beiträge: 29 Mitglied seit: 12.08.2003 Mitglieds-Nr.: 1.117 ![]() |
[quote][list]
Also dein Tool erzeugt zwei Starter: "html-editor phase 5 starten (IE online)" = online-Datei und "html-editor phase 5 starten (IE offline)" = offline-Datei. [quote][list] Ich verwende die aktuellste. [quote][list] Nein, sonst hätte ich diese genannt! [quote][list] Welches Menü von PhaseTools? Das bei der Installation? [quote][list]. [list] Ok, hab ich Egal welche Verknüpfung ich nun aufrufe, der Browser ist immer offline. Und das Plugin funktioniert bei auch nicht. Timo |
|
|
![]() ![]() |
![]() |
Vereinfachte Darstellung | Aktuelles Datum: 15.05.2025 - 6:42 |