Remove some unnecessary clippy tags

pull/1606/head
Blaž Hrastnik 3 years ago
parent 2a7ae963e1
commit 5aead46f4b

@ -118,7 +118,6 @@ impl EditorView {
/// Get syntax highlights for a document in a view represented by the first line /// Get syntax highlights for a document in a view represented by the first line
/// and column (`offset`) and the last line. This is done instead of using a view /// and column (`offset`) and the last line. This is done instead of using a view
/// directly to enable rendering syntax highlighted docs anywhere (eg. picker preview) /// directly to enable rendering syntax highlighted docs anywhere (eg. picker preview)
#[allow(clippy::too_many_arguments)]
pub fn doc_syntax_highlights<'doc>( pub fn doc_syntax_highlights<'doc>(
doc: &'doc Document, doc: &'doc Document,
offset: Position, offset: Position,
@ -404,7 +403,6 @@ impl EditorView {
} }
} }
#[allow(clippy::too_many_arguments)]
pub fn render_gutter( pub fn render_gutter(
doc: &Document, doc: &Document,
view: &View, view: &View,
@ -509,7 +507,6 @@ impl EditorView {
); );
} }
#[allow(clippy::too_many_arguments)]
pub fn render_statusline( pub fn render_statusline(
&self, &self,
doc: &Document, doc: &Document,

Loading…
Cancel
Save