Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
F
frama-c
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
14
Issues
14
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
pub
frama-c
Commits
1468f10e
Commit
1468f10e
authored
Nov 20, 2020
by
Loïc Correnson
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[dome] cleaning typedoc
parent
cbf761f8
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
11 additions
and
7 deletions
+11
-7
ivette/src/dome/src/misc/system.ts
ivette/src/dome/src/misc/system.ts
+2
-2
ivette/src/dome/src/renderer/data/settings.ts
ivette/src/dome/src/renderer/data/settings.ts
+2
-2
ivette/src/dome/src/renderer/dome.tsx
ivette/src/dome/src/renderer/dome.tsx
+1
-1
ivette/tsconfig.json
ivette/tsconfig.json
+6
-2
No files found.
ivette/src/dome/src/misc/system.ts
View file @
1468f10e
...
...
@@ -131,7 +131,7 @@ export function getDownloads() { return appProxy.getPath('downloads'); }
The function returns `undefined` until the `dome.command` event has
been emitted from the `Main` process.
See also [[
D
ome.onCommand]]
See also [[
d
ome.onCommand]]
*/
export
function
getWorkingDir
()
{
return
COMMAND_WDIR
;
}
...
...
@@ -148,7 +148,7 @@ export function getPID() { return process.pid; }
The function returns `undefined` until the `dome.command`
event has been emitted from the `Main` process.
See also [[
D
ome.onCommand]]
See also [[
d
ome.onCommand]]
*/
export
function
getArguments
()
{
return
COMMAND_ARGV
;
}
...
...
ivette/src/dome/src/renderer/data/settings.ts
View file @
1468f10e
...
...
@@ -275,7 +275,7 @@ export function getWindowSettings<A>(
Updates the current value of the settings (on defined key).
Most settings are subtypes of `JSON` and do not require any specific
encoder. If you have some, simply use it before updating the settings.
See [[useWindowSettings]] and [[useWindow
settingsd
ata]].
See [[useWindowSettings]] and [[useWindow
SettingsD
ata]].
*/
export
function
setWindowSettings
(
key
:
string
|
undefined
,
...
...
@@ -364,7 +364,7 @@ export function getLocalStorage<A>(
Updates the current value of the settings (on defined key).
Most settings are subtypes of `JSON` and do not require any specific
encoder. If you have some, simply use it before updating the settings.
See [[useLocalStorage]] and [[useWindow
settingsd
ata]].
See [[useLocalStorage]] and [[useWindow
SettingsD
ata]].
*/
export
function
setLocalStorage
(
key
:
string
|
undefined
,
...
...
ivette/src/dome/src/renderer/dome.tsx
View file @
1468f10e
...
...
@@ -176,7 +176,7 @@ ipcRenderer.on('dome.ipc.focus', (_sender, value) => {
focus
.
emit
(
value
);
});
/** Return the current window focus. See [[is
f
ocused]]. */
/** Return the current window focus. See [[is
F
ocused]]. */
export
function
useWindowFocus
():
boolean
{
useUpdate
(
focus
);
return
windowFocus
;
...
...
ivette/tsconfig.json
View file @
1468f10e
...
...
@@ -100,9 +100,13 @@
"readme"
:
"./README.md"
,
"inputFiles"
:
[
"doc/pages"
,
"src/frama-c"
,
"api"
,
"src/frama-c/server.ts"
,
"src/frama-c/states.ts"
,
"src/frama-c/utils.ts"
,
"api"
,
"src/dome/src/renderer"
,
"src/dome/src/misc"
,
"src/dome/src/misc/utils.ts"
,
"src/dome/src/misc/system.ts"
,
]
}
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment