Moved colour picker to a hover.

This commit is contained in:
Michel Kaporin
2017-07-19 11:31:08 +02:00
parent 5065eee1ef
commit b3c87304b1
12 changed files with 131 additions and 85 deletions

View File

@@ -253,14 +253,14 @@ export const location = {
}
};
export function fromHover(hover: vscode.Hover): modes.Hover {
return <modes.Hover>{
export function fromHover(hover: vscode.Hover): modes.MarkedStringHover {
return <modes.MarkedStringHover>{
range: fromRange(hover.range),
contents: hover.contents
};
}
export function toHover(info: modes.Hover): types.Hover {
export function toHover(info: modes.MarkedStringHover): types.Hover {
return new types.Hover(info.contents, toRange(info.range));
}