Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
93b31968
Commit
93b31968
authored
Jan 06, 2020
by
Michele Alberti
Browse files
[gui] Use actual path of files and not their prettified versions.
parent
0ce4dbfb
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/gui/file_manager.ml
View file @
93b31968
...
...
@@ -23,7 +23,7 @@
let
add_files
(
host_window
:
Design
.
main_window_extension_points
)
=
Gtk_helper
.
source_files_chooser
(
host_window
:>
Gtk_helper
.
source_files_chooser_host
)
(
List
.
map
Filepath
.
Normalized
.
to_pretty_string
(
Kernel
.
Files
.
get
()
)
)
(
Kernel
.
Files
.
get
()
:>
string
list
)
(
fun
filenames
->
Kernel
.
Files
.
set
(
List
.
map
Datatype
.
Filepath
.
of_string
filenames
);
if
Ast
.
is_computed
()
then
...
...
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