We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
file-name-directory
1 parent 5701c45 commit 0b49be4Copy full SHA for 0b49be4
idris-ipkg-mode.el
@@ -135,7 +135,7 @@
135
"Make all modules with existing files clickable, where clicking opens them."
136
(interactive)
137
(idris-clear-file-link-overlays 'idris-ipkg-mode)
138
- (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))))
139
;; Make the sourcedir clickable
140
(when (and (file-exists-p src-dir)
141
(file-directory-p src-dir)
0 commit comments