Version Description
- Updated CSS for theme/plugin editor
- Updated default theme/plugin editor font
- Fixed issue with theme editor in non 3.4 installations of WordPress
Download this release
Release Info
Developer | benjaminprojas |
Plugin | WP Editor |
Version | 1.0.3 |
Comparing to | |
See all releases |
Code changes from version 1.0.2 to 1.0.3
- classes/WPEditorThemes.php +1 -1
- extensions/codemirror/codemirror.css +1 -5
- log.txt +0 -0
- readme.txt +7 -2
- wpeditor.php +2 -2
classes/WPEditorThemes.php
CHANGED
@@ -83,7 +83,7 @@ class WPEditorThemes {
|
|
83 |
$current_theme_root = $wp_theme['Theme Root'] . '/' . dirname($file) . '/';
|
84 |
}
|
85 |
else {
|
86 |
-
$current_theme_root = $themes[$theme]['Theme Root'] . '/' . dirname($file);
|
87 |
}
|
88 |
$real_file = $current_theme_root . basename($file);
|
89 |
|
83 |
$current_theme_root = $wp_theme['Theme Root'] . '/' . dirname($file) . '/';
|
84 |
}
|
85 |
else {
|
86 |
+
$current_theme_root = $themes[$theme]['Theme Root'] . '/' . dirname($file) . '/';
|
87 |
}
|
88 |
$real_file = $current_theme_root . basename($file);
|
89 |
|
extensions/codemirror/codemirror.css
CHANGED
@@ -1,9 +1,5 @@
|
|
1 |
-
.CodeMirror {
|
2 |
-
line-height: 1em;
|
3 |
-
font-family: monospace;
|
4 |
-
}
|
5 |
-
|
6 |
.CodeMirror-scroll {
|
|
|
7 |
overflow: auto;
|
8 |
/* This is needed to prevent an IE[67] bug where the scrolled content
|
9 |
is visible outside of the scrolling box. */
|
|
|
|
|
|
|
|
|
|
|
1 |
.CodeMirror-scroll {
|
2 |
+
border:1px solid #ccc;
|
3 |
overflow: auto;
|
4 |
/* This is needed to prevent an IE[67] bug where the scrolled content
|
5 |
is visible outside of the scrolling box. */
|
log.txt
DELETED
File without changes
|
readme.txt
CHANGED
@@ -3,8 +3,8 @@ Contributors: benjaminprojas
|
|
3 |
Donate link: http://wpeditor.net/
|
4 |
Tags: plugin editor, theme editor, codemirror, plugins, themes, editor, fancybox
|
5 |
Requires at least: 3.0
|
6 |
-
Tested up to: 3.
|
7 |
-
Stable tag: 1.0
|
8 |
|
9 |
WP Editor is a plugin for WordPress that replaces the default plugin and theme editors.
|
10 |
|
@@ -33,6 +33,11 @@ WP Editor is a plugin for WordPress that replaces the default plugin and theme e
|
|
33 |
|
34 |
== Changelog ==
|
35 |
|
|
|
|
|
|
|
|
|
|
|
36 |
= 1.0.2 =
|
37 |
* Fixed invalid foreach statement for WP 3.4 in Theme editor
|
38 |
* Fixed invalid URL for images in root directory of themes
|
3 |
Donate link: http://wpeditor.net/
|
4 |
Tags: plugin editor, theme editor, codemirror, plugins, themes, editor, fancybox
|
5 |
Requires at least: 3.0
|
6 |
+
Tested up to: 3.4.1
|
7 |
+
Stable tag: 1.0.3
|
8 |
|
9 |
WP Editor is a plugin for WordPress that replaces the default plugin and theme editors.
|
10 |
|
33 |
|
34 |
== Changelog ==
|
35 |
|
36 |
+
= 1.0.3 =
|
37 |
+
* Updated CSS for theme/plugin editor
|
38 |
+
* Updated default theme/plugin editor font
|
39 |
+
* Fixed issue with theme editor in non 3.4 installations of WordPress
|
40 |
+
|
41 |
= 1.0.2 =
|
42 |
* Fixed invalid foreach statement for WP 3.4 in Theme editor
|
43 |
* Fixed invalid URL for images in root directory of themes
|
wpeditor.php
CHANGED
@@ -3,7 +3,7 @@
|
|
3 |
Plugin Name: WP Editor
|
4 |
Plugin URI: http://wpeditor.net
|
5 |
Description: This plugin modifies the default behavior of the WordPress plugin and theme editors.
|
6 |
-
Version: 1.0.
|
7 |
Author: Benjamin Rojas
|
8 |
Author URI: http://benjaminrojas.net
|
9 |
Text Domain: wpeditor
|
@@ -31,7 +31,7 @@ if(!class_exists('WPEditor')) {
|
|
31 |
ob_start();
|
32 |
|
33 |
// Define the WP Editor version number
|
34 |
-
define('WPEDITOR_VERSION_NUMBER', '1.0.
|
35 |
|
36 |
$wp_34 = false;
|
37 |
if(version_compare(get_bloginfo('version'), '3.4', '>=')) {
|
3 |
Plugin Name: WP Editor
|
4 |
Plugin URI: http://wpeditor.net
|
5 |
Description: This plugin modifies the default behavior of the WordPress plugin and theme editors.
|
6 |
+
Version: 1.0.3
|
7 |
Author: Benjamin Rojas
|
8 |
Author URI: http://benjaminrojas.net
|
9 |
Text Domain: wpeditor
|
31 |
ob_start();
|
32 |
|
33 |
// Define the WP Editor version number
|
34 |
+
define('WPEDITOR_VERSION_NUMBER', '1.0.3');
|
35 |
|
36 |
$wp_34 = false;
|
37 |
if(version_compare(get_bloginfo('version'), '3.4', '>=')) {
|