From 632d6cec9f1395b386d98a6d3d9357e5dc99bd1a Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 6 Apr 2020 15:44:51 +0200
Subject: [PATCH] [labviews] Port to typescript.
---
ivette/src/frama-c/{labviews.js => LabViews.tsx} | 0
ivette/src/renderer/ASTview.tsx | 2 +-
ivette/src/renderer/Application.tsx | 2 +-
ivette/src/renderer/Controller.tsx | 2 +-
ivette/src/renderer/Properties.tsx | 2 +-
5 files changed, 4 insertions(+), 4 deletions(-)
rename ivette/src/frama-c/{labviews.js => LabViews.tsx} (100%)
diff --git a/ivette/src/frama-c/labviews.js b/ivette/src/frama-c/LabViews.tsx
similarity index 100%
rename from ivette/src/frama-c/labviews.js
rename to ivette/src/frama-c/LabViews.tsx
diff --git a/ivette/src/renderer/ASTview.tsx b/ivette/src/renderer/ASTview.tsx
index 70b5bcef314..0442969be8f 100644
--- a/ivette/src/renderer/ASTview.tsx
+++ b/ivette/src/renderer/ASTview.tsx
@@ -10,7 +10,7 @@ import States from 'frama-c/states';
import { Vfill } from 'dome/layout/boxes';
import { Buffer } from 'dome/text/buffers';
import { Text } from 'dome/text/editors';
-import { Component } from 'frama-c/labviews';
+import { Component } from 'frama-c/LabViews';
import 'codemirror/mode/clike/clike.js';
import 'codemirror/theme/ambiance.css';
diff --git a/ivette/src/renderer/Application.tsx b/ivette/src/renderer/Application.tsx
index de7ab40c13d..e5528cd1c5b 100644
--- a/ivette/src/renderer/Application.tsx
+++ b/ivette/src/renderer/Application.tsx
@@ -11,7 +11,7 @@ import Sidebar from 'dome/layout/sidebars';
import './style.css';
-import { LabView, View, Group } from 'frama-c/labviews';
+import { LabView, View, Group } from 'frama-c/LabViews';
import { GridItem } from 'dome/layout/grids';
import Controller from './Controller';
import Properties from './Properties';
diff --git a/ivette/src/renderer/Controller.tsx b/ivette/src/renderer/Controller.tsx
index 08c55f953a2..17cbe7160d1 100644
--- a/ivette/src/renderer/Controller.tsx
+++ b/ivette/src/renderer/Controller.tsx
@@ -6,7 +6,7 @@ import React from 'react';
import Dome from 'dome';
import Server from 'frama-c/server';
-import { Component, TitleBar } from 'frama-c/labviews';
+import { Component, TitleBar } from 'frama-c/LabViews';
import { Button as ToolButton, ButtonGroup, Space } from 'dome/layout/toolbars';
import { LED, IconButton } from 'dome/controls/buttons';
import { Label, Code } from 'dome/controls/labels';
diff --git a/ivette/src/renderer/Properties.tsx b/ivette/src/renderer/Properties.tsx
index 2d6e3318ddf..b1ad77c95ce 100644
--- a/ivette/src/renderer/Properties.tsx
+++ b/ivette/src/renderer/Properties.tsx
@@ -8,7 +8,7 @@ import States from 'frama-c/states';
import { Label, Code } from 'dome/controls/labels';
import { ArrayModel } from 'dome/table/arrays';
import { Table, DefineColumn } from 'dome/table/views';
-import { Component } from 'frama-c/labviews';
+import { Component } from 'frama-c/LabViews';
// --------------------------------------------------------------------------
// --- Property Columns
--
GitLab