We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
file-name-directory
1 parent b9442ea commit 15d15c7Copy full SHA for 15d15c7
idris-ipkg-mode.el
@@ -136,7 +136,7 @@
136
"Make all modules with existing files clickable, where clicking opens them."
137
(interactive)
138
(idris-clear-file-link-overlays 'idris-ipkg-mode)
139
- (let ((src-dir (idris-ipkg-buffer-src-dir (file-name-directory (buffer-file-name)))))
+ (let ((src-dir (idris-ipkg-buffer-src-dir (buffer-file-name))))
140
;; Make the sourcedir clickable
141
(when (and (file-exists-p src-dir)
142
(file-directory-p src-dir)
0 commit comments