kylefang/DefinitelyTyped
1
0
Fork 0
mirror of https://github.com/zhigang1992/DefinitelyTyped.git synced 2026-04-15 12:09:40 +08:00
Code Issues Packages Projects Releases Wiki Activity

[atom] Use interface for pixel position type

Browse Source
This commit is contained in:
Nikolay Yakimov
2017-12-17 18:48:21 +03:00
parent 9a0ce85aa9
commit 3d0964bd85
2 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
types/atom/atom-tests.ts
View File

@@ -14,7 +14,6 @@ declare let elements: HTMLElement[];
declare const div: HTMLDivElement;
declare const event: KeyboardEvent;
declare const mouseEvent: MouseEvent;
declare let pixelPos: {left: number, top: number};
declare let buffer: Atom.TextBuffer;
declare const color: Atom.Color;
@@ -67,6 +66,7 @@ declare let subscription: Atom.Disposable;
declare let subscriptions: Atom.CompositeDisposable;
declare let tooltips: Atom.Tooltip[];
declare let workspaceCenter: Atom.WorkspaceCenter;
declare let pixelPos: Atom.PixelPosition;
declare let textEditorElement: Atom.TextEditorElement;
declare let textEditorComponent: Atom.TextEditorComponent;

15
types/atom/index.d.ts vendored
View File

@@ -2401,16 +2401,21 @@ export class TextEditor {
setPlaceholderText(placeholderText: string): void;
}
export interface PixelPosition {
left: number;
top: number;
}
/**
* Undocumented: Rendering component for TextEditor
*/
export interface TextEditorComponent {
/** Does not clip screenPosition, unlike similar method on TextEditorElement */
pixelPositionForScreenPosition(screenPosition: PointLike): {left: number, top: number};
screenPositionForPixelPosition(pos: {top: number, left: number}): Point;
pixelPositionForScreenPosition(screenPosition: PointLike): PixelPosition;
screenPositionForPixelPosition(pos: PixelPosition): Point;
pixelPositionForMouseEvent(event: {
clientX: number, clientY: number
}): {top: number, left: number};
}): PixelPosition;
screenPositionForMouseEvent(event: {clientX: number, clientY: number}): Point;
}
@@ -2444,10 +2449,10 @@ export interface TextEditorElement extends HTMLElement {
getScrollHeight(): number;
/** Extended: Converts a buffer position to a pixel position. */
pixelPositionForBufferPosition(bufferPosition: PointLike): {left: number, top: number};
pixelPositionForBufferPosition(bufferPosition: PointLike): PixelPosition;
/** Extended: Converts a screen position to a pixel position. */
pixelPositionForScreenPosition(screenPosition: PointLike): {left: number, top: number};
pixelPositionForScreenPosition(screenPosition: PointLike): PixelPosition;
// Event subscription
onDidChangeScrollTop(callback: (scrollTop: number) => void): Disposable;