mirror of
https://github.com/wassname/DefinitelyTyped.git
synced 2026-10-10 11:50:49 +08:00
Merge pull request #5578 from CalvinFernandez/codemirror-placeholder
add placholder parameter to work with codemirror placeholder addon
This commit is contained in:
commit
f8ab8722bc
1 file changed
+4
-1
Vendored
+4
-1
@@ -787,7 +787,10 @@ declare module CodeMirror {
|
||||
viewportMargin?: number;
|
||||
|
||||
/** Optional lint configuration to be used in conjunction with CodeMirror's linter addon. */
|
||||
lint?: boolean | LintOptions;
|
||||
lint?: boolean | LintOptions;
|
||||
|
||||
/** Optional value to be used in conduction with CodeMirror’s placeholder add-on. */
|
||||
placeholder?: string;
|
||||
}
|
||||
|
||||
interface TextMarkerOptions {
|
||||
|
||||
Reference in new issue
Block a user