Revision d2d9d4cb src/plugins/scopes/scopes.ml
| src/plugins/scopes/scopes.ml | ||
|---|---|---|
| 227 | 227 |
} |
| 228 | 228 |
|
| 229 | 229 |
|
| 230 |
module Plugin : PluginType.PluginType = |
|
| 230 |
module Plugin : ( |
|
| 231 |
sig |
|
| 232 |
include PluginType.PluginType |
|
| 233 |
val show_scopes: unit -> bool |
|
| 234 |
end) = |
|
| 231 | 235 |
struct |
| 232 | 236 |
let name = "scopes" |
| 233 | 237 |
let is_active () = |
Also available in: Unified diff